Skip to content
Snippets Groups Projects
Select Git revision
  • a3c670173e441f28571011f0c9e39f404add2108
  • 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

  • Clone with SSH
  • Clone with HTTPS
    • user avatar
    Fix error messages from ProB not being shown when executing operations
    dgelessus authored 
    This fix removes the need for the kernel's custom error messages that
were previously shown.
    a3c67017
    History
    user avatar a3c67017
    History
    Name Last commit Last update