Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
  • a35f55de54d044c759b074b440e686dddc67ff2c
  • 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
Created with Raphaël 2.2.027May1814430Apr22165Mar327Feb25201817131254313Jan9619Dec4218Nov16Oct14109410May9761Mar28Feb1223Jan1030Nov19Oct18171615227Sep29Aug27139723Jul201917161265228Jun2625222120181476432130May2928262524231614131211107Add unshortened link to articleAdjust formatting in READMEadapt bibtex entryadd link to article and bibtex entryBump version number to 1.2.1-SNAPSHOTRelease version 1.2.0v1.2.0v1.2.0Clean up help output of main class (installer)Fix build.gradle possibly not updating build propertiesRemove pip install command from READMEMention requirements more obviously in installation instructionsExpand section on alternative frontends in READMEUpdate and expand Python/Jupyter requirements in READMEImplement kernel interrupts properlyAdd B parser version to :version outputChange kernelspec JSON generation to use JsonElement APIsChange ProB 2 version from snapshot to latest release (3.11.0)Make Parameter an interface and split out its implementationMake parameter classes less generic and add factory methodsRemove PositionalParameter (except as a namespace/utility class)Move parameter splitting and validation code into separate objectsSeparate command parsing into splitting and validation stepsRemove no longer used CommandUtils.splitArgs methodsAdd positional parameter types for repeated/multiple-value parametersAdd support for parsing first line of cell separately from bodyAdd initial implementation of new command argument parsingFix multiline machines not being detected in cells without ::loadMove non-command classes out of commands packageMention Java 14 compatibility in READMEMake download links in README more obviousFix line comments on last line of expression with let variables definedMention Java 14 compatibility in CHANGELOG.mdUpdate ProB 2 to version 4.0.0-SNAPSHOT for Java 14 compatibilityUpdate Gradle wrapper to version 6.3 for Java 14 compatibilityInstall GraphViz on Binder to allow using Dot visualisationsRemove no longer needed Git LFS-related commands from Binder postBuildUpdate links to new repo locationUpdate READMEBump version number to 1.1.1-SNAPSHOTFix Git not being installed on GitLab CIv1.1.0v1.1.0Release version 1.1.0