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

prob2-jupyter-kernel

  • Clone with SSH
  • Clone with HTTPS
    • user avatar
    Remove no longer needed handling of ModelTranslationError
    dgelessus authored 
    ProB 2 now always throws ProBError for parse errors and
ModelTranslationError is no longer used.
    1e9ec5fb
    History
    user avatar 1e9ec5fb
    History
    Name Last commit Last update