Commits · a35f55de54d044c759b074b440e686dddc67ff2c · general / stups / ProB 2 Jupyter Kernel · GitLab

Snippets Groups Projects

May 11, 2018
- add more puzzles to notebook · a35f55de
  Michael Leuschel authored 7 years ago
  
  a35f55de
- update example notebook · eb824225
  Michael Leuschel authored 7 years ago
  
  eb824225
- add ProB constraint solver introduction · 34f6927d
  Michael Leuschel authored 7 years ago
  
  34f6927d
May 10, 2018
- Add some test notebooks · de42ec91
  dgelessus authored 7 years ago
  
  de42ec91
- Add Gradle tasks to create and install the Jupyter kernel spec · 340d053a
  dgelessus authored 7 years ago
  
  340d053a
May 07, 2018
- Use injection for all commands · 27f6c5b0
  dgelessus authored 7 years ago
  
  27f6c5b0
- Add cell command to load a B machine from the notebook · 4000c4e9
  dgelessus authored 7 years ago
  
  4000c4e9
- Add support for cell (multiline) commands and an ::echo test command · f6c5903d
  dgelessus authored 7 years ago
  
  f6c5903d
- Include colons in command names for more flexibility · fe1d1d52
  dgelessus authored 7 years ago
  
  fe1d1d52
- Make a few classes final · e8249298
  dgelessus authored 7 years ago
  
  e8249298
- Add command system and a help command · 13f975b2
  dgelessus authored 7 years ago
  
  13f975b2
- Add some kernel metadata (console banner and help link) · 2dce5c8e
  dgelessus authored 7 years ago
  
  2dce5c8e
- Initial commit · a448bfa7
  dgelessus authored 7 years ago
  a448bfa7