Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
  • 4cbcceb16909cc47c0e7dc6b5156d3f09f47b2b8
  • 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.011Jun327May1814430Apr22165Mar327Feb25201817131254313Jan9619Dec4218Nov16Oct14109410May9761Mar28Feb1223Jan1030Nov19Oct18171615227Sep29Aug27139723Jul201917161265228Jun2625222120181476432130May2928262524231614131211107Add internal documentation for the new command parsing codeAdd PositionedString.substring methodsRe-implement command completion feature based on new argument parsingRe-implement command inspection feature based on new argument parsingTrack position information when splitting argumentsSimplify body splitting logic in CommandUtils.splitArgsMerge branch 'master' into command_parameter_structureAdd 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 compatibility