Skip to content
Snippets Groups Projects
Select Git revision
  • 9bfe994037155a2e62a46d177a22421772ed3937
  • master default protected
  • exec_auto_adjust_trace
  • let_variables
  • v1.4.1
  • v1.4.0
  • v1.3.0
  • v1.2.0
  • v1.1.0
  • v1.0.0
10 results

prob2-jupyter-kernel

  • 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
    Make the kernel jar self-installable
    dgelessus authored 
    The jar can now be run with the "install" option to automatically copy
itself into the ProB home directory, and generate and install a Jupyter
kernel spec.

The build.gradle no longer generates the kernel spec itself, it now
runs the kernel jar to do that.
    9bfe9940
    History
    user avatar 9bfe9940
    History
    Name Last commit Last update