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

Snippets Groups Projects

Oct 09, 2019
- add version of N-Queens with visualization · d11cb81e
  Michael Leuschel authored Oct 9, 2019
  
  d11cb81e
- Add another model reference example · 4c968736
  Michael Leuschel authored Oct 9, 2019
  
  4c968736
Oct 04, 2019
- Add fix for a problem with installKernelSpec and virtualenvs to README · 7e9ff58e
  dgelessus authored Oct 4, 2019
  
  7e9ff58e
- Update ProB 2 version to 4.0.0-SNAPSHOT · 79ae809d
  dgelessus authored Oct 4, 2019
  
  79ae809d
- Update Gradle wrapper to version 5.6.2 · 8b13e37e
  dgelessus authored Oct 4, 2019
  
  8b13e37e
May 10, 2019
- add comment on how to lock · 50fef812
  Michael Leuschel authored May 10, 2019
  
  50fef812
- add exercise experiment · 063b72e1
  Michael Leuschel authored May 10, 2019
  
  063b72e1
- Merge branch 'master' of gitlab.cs.uni-duesseldorf.de:dgelessus/prob2-jupyter-kernel · 36d0e4a8
  Michael Leuschel authored May 10, 2019
  
  36d0e4a8
- update slides · 460c643e
  Michael Leuschel authored May 10, 2019
  
  460c643e
May 09, 2019
- Support subscripts and primes in identifier syntax highlighting · 4f461daa
  dgelessus authored May 9, 2019
  
  4f461daa
May 07, 2019
- Fix the variable highlighting regex · 42f69ce1
  dgelessus authored May 7, 2019
  
  42f69ce1
- Support Unicode letters in identifier syntax highlighting · dbd019e7
  dgelessus authored May 7, 2019
  
  dbd019e7
- use greek Sigma in presentation · 47a8a8ef
  Michael Leuschel authored May 7, 2019
  
  47a8a8ef
- almost final version of Bad Honnef Jupyter presentation · ddf16257
  Michael Leuschel authored May 7, 2019
  
  ddf16257
- update presentation · 36208732
  Michael Leuschel authored May 7, 2019
  
  36208732
May 06, 2019
- add Bad Honnef presentation · 8014ecdd
  Michael Leuschel authored May 6, 2019
  
  8014ecdd
- update external functions docu · fbe232dd
  Michael Leuschel authored May 6, 2019
  
  fbe232dd
Mar 01, 2019
- Fix :show image display if machine is not in the kernel's cwd · 6d57bf4b
  dgelessus authored Mar 1, 2019
  
  6d57bf4b
Feb 28, 2019
- Adjust .gitignore to not ignore PDFs that are intentionally checked in · 59cce3fe
  dgelessus authored Feb 28, 2019
  
  59cce3fe
Feb 12, 2019
- Update Gradle wrapper to version 5.2.1 · be2a1905
  dgelessus authored Feb 12, 2019
  
  be2a1905
- Update jupyter-jvm-basekernel to version 2.2.3 · 1ac873bf
  dgelessus authored Feb 12, 2019
  
  1ac873bf
- Upgrade JetBrains annotations back to current version · af93bb84
  dgelessus authored Feb 12, 2019
  af93bb84
Jan 23, 2019
- Add changelog and update README · 303925d2
  dgelessus authored Jan 23, 2019
  
  303925d2
Jan 10, 2019
- Support .sys extension for classical B machines · 97911023
  dgelessus authored Jan 10, 2019
  
  97911023
Nov 30, 2018
- Update Gradle to 5.0 and shadow plugin to 4.0.3 for Java 11 support · 63cfb3c7
  dgelessus authored Nov 30, 2018
  
  63cfb3c7
- Fix problems caused by trailing spaces in user inputs · de758284
  dgelessus authored Nov 30, 2018
  de758284
- Update ShowCommand to match API changes in ProB 2 · a77c9859
  dgelessus authored Nov 30, 2018
  
  a77c9859
- Downgrade JetBrains annotations to 13.0 for compatibility with Alloy2B · 856f768e
  dgelessus authored Nov 30, 2018
  856f768e
Oct 19, 2018
- Add options to install the kernel spec into the user directory · 2876b1dc
  dgelessus authored Oct 19, 2018
  2876b1dc
Oct 18, 2018
- Add bachelor presentation notebook · 7e88da14
  dgelessus authored Oct 18, 2018
  
  7e88da14
Oct 17, 2018
- add command to start console · cea910ef
  Michael Leuschel authored Oct 17, 2018
  
  cea910ef
- Fix transition parameters not being shown in :trace · 50f1cca7
  dgelessus authored Oct 17, 2018
  
  50f1cca7
Oct 16, 2018
- Don't show full traceback when a command throws an unknown exception · c88d7264
  dgelessus authored Oct 16, 2018
  c88d7264
Oct 15, 2018
- Change ProB 2 version to 3.2.12-SNAPSHOT · ecbbbabe
  dgelessus authored Oct 15, 2018
  
  ecbbbabe
- Evaluate :let expressions when variable is set, not when it it used · d1eaeec4
  dgelessus authored Oct 15, 2018
  
  d1eaeec4
- Add warning to :let help that values are stored as text · be3891f3
  dgelessus authored Oct 15, 2018
  
  be3891f3
- Add placeholders for missing methods in (Let|Unlet)Command · 5844b876
  dgelessus authored Oct 15, 2018
  
  5844b876
- Merge branch 'let_variables' · ba9562c5
  dgelessus authored Oct 15, 2018
  
  ba9562c5
Oct 02, 2018
- Add nbconvert output files to .gitignore · a468b952
  dgelessus authored Oct 2, 2018
  
  a468b952
Sep 27, 2018
- Bump version to 1.0.1-SNAPSHOT · 6bd54cf5
  dgelessus authored Sep 27, 2018
  
  6bd54cf5