Skip to content
Snippets Groups Projects
Select Git revision
  • 03d0d35a4220c0e32a492f00f9ed30dd517541ca
  • develop default protected
  • master protected
  • rodin2
  • rodin3
  • feature/theory_plugin
  • feature/multiview
  • csp
  • feature/newcore
  • feature/csp
  • 3.0.11
  • 3.0.8
  • 3.0.5
  • 2.4.1
  • 2.3.3
  • 2.3.2
  • 2.3.1
  • 2.3.0_fix1
  • 2.3.0
19 results

prob_rodin_plugin

  • Open with
  • Download source code
  • Your workspaces

      A workspace is a virtual sandbox environment for your code in GitLab.

      No agents available to create workspaces. Please consult Workspaces documentation for troubleshooting.

    • user avatar
    Remove support for BMotionStudio Groovy observer scripts
    dgelessus authored 
    This feature wasn't accessible in the GUI for 10 years and I can only
find a single incomplete example of a Groovy observer script. Although
the feature is now fully working again, let's remove it properly now
while nobody is relying on it.
    03d0d35a
    History
    user avatar 03d0d35a
    History
    Name Last commit Last update