Skip to content
Snippets Groups Projects
Select Git revision
  • af93bb840a5260f7df367e8e16a55e208e6ca240
  • 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
    Upgrade JetBrains annotations back to current version
    dgelessus authored 
    The conflict with Alloy2B has been fixed now, so the downgrading
workaround is no longer necessary.
    af93bb84
    History
    user avatar af93bb84
    History
    Name Last commit Last update