Commits · 3251d7873cb2ea13c46155063a930cea9ffdbb15 · general / stups / ProB 2 Jupyter Kernel · GitLab

Snippets Groups Projects

Jun 22, 2018
- Update Gradle wrapper to 4.8.1 · 3251d787
  dgelessus authored Jun 22, 2018
  
  3251d787
Jun 21, 2018
- Add code completion support to ::load, :load, and :pref · 2fe24726
  dgelessus authored Jun 21, 2018
  
  2fe24726
- Add :show command to show animation function · b685b031
  dgelessus authored Jun 21, 2018
  
  b685b031
- Add :dot command · c5b40c14
  dgelessus authored Jun 21, 2018
  
  c5b40c14
- Remove alternate names for :help and :init · 3cd3865b
  dgelessus authored Jun 21, 2018
  3cd3865b
Jun 20, 2018
- Add code completion support to most commands · e2b97144
  dgelessus authored Jun 20, 2018
  e2b97144
- Add code completion for B keywords and identifiers in :eval · 3b922bfd
  dgelessus authored Jun 20, 2018
  
  3b922bfd
- Show better error messages when :constants or :init are not possible · f522d444
  dgelessus authored Jun 20, 2018
  
  f522d444
- Show TRUE instead of nothing when an assertion succeeds · 4773b994
  dgelessus authored Jun 20, 2018
  
  4773b994
Jun 18, 2018
- Add initial support for code completion · 421dab0e
  dgelessus authored Jun 18, 2018
  421dab0e
- Add :assert command · 9e979d80
  dgelessus authored Jun 18, 2018
  
  9e979d80
- Use standard MIMETYPE.TEXT_MARKDOWN constant instead of our own · 1cc75071
  dgelessus authored Jun 18, 2018
  
  1cc75071
- Allow returning null from Command.run · 28932b05
  dgelessus authored Jun 18, 2018
  
  28932b05
- Add @NotNull in a few places · 13ed2586
  dgelessus authored Jun 18, 2018
  
  13ed2586
- Update jupyter-jvm-basekernel to 2.2.1-SNAPSHOT · 614736e1
  dgelessus authored Jun 18, 2018
  
  614736e1
- Support bsymb LaTeX commands in Markdown output · 0c9316aa
  dgelessus authored Jun 18, 2018
  
  0c9316aa
Jun 14, 2018
- Fix handling of keywords in B syntax highlighting · d3b79100
  dgelessus authored Jun 14, 2018
  d3b79100
- Improve B syntax highlighting · 8f93a4b2
  dgelessus authored Jun 14, 2018
  8f93a4b2
- Add CodeMirror syntax highlighting in notebooks · c4e12f95
  dgelessus authored Jun 14, 2018
  c4e12f95
Jun 07, 2018
- Fix a NPE in ProBKernel.formatError · cf23915d
  dgelessus authored Jun 7, 2018
  
  cf23915d
- Display EvalResults as Markdown/LaTeX · eccbd708
  dgelessus authored Jun 7, 2018
  
  eccbd708
- Add :type command to display the type of a formula (closes #11 ) · bbddc42a
  dgelessus authored Jun 7, 2018
  
  bbddc42a
Jun 06, 2018
- Merge branch 'master' of gitlab.cs.uni-duesseldorf.de:dgelessus/prob2-jupyter-kernel · b9176907
  Michael Leuschel authored Jun 6, 2018
  
  b9176907
- update notebooks · 2893c6d9
  Michael Leuschel authored Jun 6, 2018
  
  2893c6d9
- Mark createKernelSpec.probHome as optional to fix deprecation warning · 7d497aa2
  dgelessus authored Jun 6, 2018
  
  7d497aa2
- Add README.md with installation and usage instructions · c2f5b897
  dgelessus authored Jun 6, 2018
  
  c2f5b897
- Update Gradle shadow plugin · b2d0e42e
  dgelessus authored Jun 6, 2018
  
  b2d0e42e
- Rerun all notebooks · 43d027f2
  dgelessus authored Jun 6, 2018
  
  43d027f2
- Disable redirection of stdout/log messages to notebooks · be9c5e2e
  dgelessus authored Jun 6, 2018
  
  be9c5e2e
- add experiment notebook · 260e0291
  Michael Leuschel authored Jun 6, 2018
  
  260e0291
- update model notebook example · 48a19e14
  Michael Leuschel authored Jun 6, 2018
  
  48a19e14
- add FP notebook · b2e828b6
  Michael Leuschel authored Jun 6, 2018
  
  b2e828b6
Jun 04, 2018
- update presentation · 7f54a979
  Michael Leuschel authored Jun 4, 2018
  
  7f54a979
- Improve display of ProBErrors · 46eb8af4
  dgelessus authored Jun 4, 2018
  
  46eb8af4
- add images to presentation · db789fad
  Michael Leuschel authored Jun 4, 2018
  
  db789fad
- Add :table command to display an expression as a table (closes #7 ) · 4d149828
  dgelessus authored Jun 4, 2018
  
  4d149828
- Use display instead of System.out in TimeCommand · 5cdf73e5
  dgelessus authored Jun 4, 2018
  
  5cdf73e5
- add Kodkod Test example · 3cd9453a
  Michael Leuschel authored Jun 4, 2018
  
  3cd9453a
- update presentation · 6d239c19
  Michael Leuschel authored Jun 4, 2018
  
  6d239c19
- Merge branch 'master' of gitlab.cs.uni-duesseldorf.de:dgelessus/prob2-jupyter-kernel · 9359f89b
  Michael Leuschel authored Jun 4, 2018
  
  9359f89b