Skip to content
Snippets Groups Projects
Select Git revision
  • 091ba2713a5a1aea8987255324e132d817e993c8
  • master default protected
  • exec_auto_adjust_trace
  • let_variables
  • v1.5.0
  • v1.4.1
  • v1.4.0
  • v1.3.0
  • v1.2.0
  • v1.1.0
  • v1.0.0
11 results

src

  • Clone with SSH
  • Clone with HTTPS
    • user avatar
    Improve :version command
    dgelessus authored 
    Now also displays the version of the ProB 2 Jupyter kernel and more
detailed info about the ProB CLI version.
    091ba271
    History
    user avatar 091ba271
    History
    Code owners
    Assign users and groups as approvers for specific file changes. Learn more.
    Name Last commit Last update
    ..