Skip to content
Snippets Groups Projects
Select Git revision
9 results

prob_rodin_plugin

  • Clone with SSH
  • Clone with HTTPS
    • user avatar
    Converting RuntimeExceptions to TranslationFailedExceptions,
    Daniel Plagge authored 
    because the latter failed silently on export to classical ProB
    1398231d
    History
    user avatar 1398231d
    History
    Name Last commit Last update