Commits · 47e6591e74adbeb9b43bb8a834fa676973b3d786 · general / stups / ProB 2 Jupyter Kernel · GitLab

Snippets Groups Projects

Feb 27, 2020
- Include Sonatype snapshots repo only for snapshot builds · 47e6591e
  dgelessus authored Feb 27, 2020
  47e6591e
Feb 25, 2020
- Update Gradle wrapper to version 6.2.1 · 28d74329
  dgelessus authored Feb 25, 2020
  
  28d74329
Feb 20, 2020
- Update Gradle wrapper to version 6.2 · 0eb14cf7
  dgelessus authored Feb 20, 2020
  
  0eb14cf7
Feb 18, 2020
- Don't display dot command availability in :help :dot · cc91cd81
  dgelessus authored Feb 18, 2020
  cc91cd81
- Fix MACHINE_INFO being recognized as machine instead of an expression · d0e3a169
  dgelessus authored Feb 18, 2020
  
  d0e3a169
- Rerun all the notebooks · 57a7f3e1
  dgelessus authored Feb 18, 2020
  
  57a7f3e1
- Improve a bunch of help texts · dab5ba47
  dgelessus authored Feb 18, 2020
  
  dab5ba47
- Structure :help command list into categories · cb837dff
  dgelessus authored Feb 18, 2020
  cb837dff
Feb 17, 2020
- Sort ProBKernel.COMMAND_CLASSES alphabetically · f6ad58e6
  dgelessus authored Feb 17, 2020
  
  f6ad58e6
- Move BsymbCommand to correct package · bda0e358
  dgelessus authored Feb 17, 2020
  
  bda0e358
- Store command names in command classes instead of ProBKernel · e1266bcd
  dgelessus authored Feb 17, 2020
  e1266bcd
- Expand :help intro text · be1480e2
  dgelessus authored Feb 17, 2020
  
  be1480e2
- Improve formatting of :help command list · e5f08374
  dgelessus authored Feb 17, 2020
  
  e5f08374
Feb 13, 2020
- Write kernel JSON using Gson instead of replacing strings in a template · cf667776
  dgelessus authored Feb 13, 2020
  cf667776
Feb 12, 2020
- Also remove Git LFS files in Binder build · b9052bcb
  dgelessus authored Feb 12, 2020
  
  b9052bcb
- Add GitLab CI badge · bc8faf3b
  dgelessus authored Feb 12, 2020
  
  bc8faf3b
- Add Binder badge · ee6cfadc
  dgelessus authored Feb 12, 2020
  
  ee6cfadc
- Run Gradle without daemon on Binder · 885218ac
  dgelessus authored Feb 12, 2020
  
  885218ac
- Fix GRADLE_USER_HOME setting in Binder configuration · 9b56572b
  dgelessus authored Feb 12, 2020
  
  9b56572b
- Make Binder postBuild script print out its commands while running · 5b7db1ed
  dgelessus authored Feb 12, 2020
  
  5b7db1ed
- Try to optimize size of Binder image · b6568daf
  dgelessus authored Feb 12, 2020
  
  b6568daf
- Add Binder configuration files · 3ba3db2b
  dgelessus authored Feb 12, 2020
  
  3ba3db2b
- Test kernel installation and basic functionality in GitLab CI · 187fc2bf
  dgelessus authored Feb 12, 2020
  
  187fc2bf
- Add basic .gitlab-ci.yml · 89183e0a
  dgelessus authored Feb 12, 2020
  
  89183e0a
Feb 05, 2020
- Update Gradle shadow plugin to version 5.2.0 · 45b5c76f
  dgelessus authored Feb 5, 2020
  
  45b5c76f
Feb 04, 2020
- Remove outdated note from :type command help · 1c8f4ecb
  dgelessus authored Feb 4, 2020
  1c8f4ecb
- Add support :let variables to more commands · bbc147f3
  dgelessus authored Feb 4, 2020
  bbc147f3
- Add own dependency on Guava instead of using that from ProB 2 · 0f33ea07
  dgelessus authored Feb 4, 2020
  
  0f33ea07
Feb 03, 2020
- Update dependencies to latest versions · e51972b1
  dgelessus authored Feb 3, 2020
  
  e51972b1
- Declare dependencies as implementation instead of compile · 4b1893ab
  dgelessus authored Feb 3, 2020
  4b1893ab
- Remove mavenLocal() repo from build.gradle · 5f8f5080
  dgelessus authored Feb 3, 2020
  5f8f5080
- Remove Sonatype releases repo from build.gradle · 5fa2ede3
  dgelessus authored Feb 3, 2020
  5fa2ede3
- Remove manual changing: true setting from build.gradle · e7d39515
  dgelessus authored Feb 3, 2020
  e7d39515
- Update Gradle wrapper to version 6.1.1 · 00b5866a
  dgelessus authored Feb 3, 2020
  
  00b5866a
Jan 13, 2020
- Allow loading machines without an explicit ::load command · 9db68c3a
  dgelessus authored Jan 13, 2020
  9db68c3a
Jan 09, 2020
- Remove ES6 Unicode regexp features from kernel.js · 5f870031
  dgelessus authored Jan 9, 2020
  5f870031
- Add nbgrader metadata to DeliveryExercise.ipynb · a69564f0
  dgelessus authored Jan 9, 2020
  
  a69564f0
- Fix typo in REPL syntax highlighting language name · c7fbd3c8
  dgelessus authored Jan 9, 2020
  
  c7fbd3c8
- add new external functions · a6b4a72a
  Michael Leuschel authored Jan 9, 2020
  
  a6b4a72a
Jan 06, 2020
- Fix a few typos and LaTeX issues in NFA_to_DFA.ipynb · e54da55c
  dgelessus authored Jan 6, 2020
  
  e54da55c