Commits · 88ad2d2ee2833f1173c963e9809c90c20d4f326f · general / stups / ProB 2 Documentation · GitLab

Snippets Groups Projects

Apr 21, 2022
- Fix gem version issues with dependencies of asciidoctor-bibtex · 88ad2d2e
  dgelessus authored 3 years ago
  
  88ad2d2e
- Update Gradle wrapper to version 7.4.2 · 81181492
  dgelessus authored 3 years ago
  
  81181492
Nov 02, 2021
- Update Gradle wrapper to version 7.2 · 562084c0
  dgelessus authored 3 years ago
  
  562084c0
- Use Gradle asciidoctor's native support for diagram and pdf plugins · 8685cb6b
  dgelessus authored 3 years ago
  
  8685cb6b
- Remove unused asciidoctorj-epub dependency · 90c07734
  dgelessus authored 3 years ago
  
  90c07734
- Remove unneeded explicit Asciidoctor version override · b70cefe3
  dgelessus authored 3 years ago
  
  b70cefe3
- Update Asciidoctor and other dependencies to latest versions · 6fba8da3
  dgelessus authored 3 years ago
  
  6fba8da3
Feb 12, 2021
- Update Gradle wrapper to version 6.8.2 · f7ecc78f
  dgelessus authored 4 years ago
  
  f7ecc78f
Feb 09, 2021
- Replace another use of JCenter with Maven Central · eaece359
  dgelessus authored 4 years ago
  
  eaece359
- Switch back to Maven Central from JCenter, which is shutting down · 3d5ec6bd
  dgelessus authored 4 years ago
  3d5ec6bd
Feb 08, 2021
- Fix GitLab CI upload source directories properly this time · 6b4246bd
  dgelessus authored 4 years ago
  6b4246bd
- Fix GitLab CI upload source directories · 8823fe1e
  dgelessus authored 4 years ago
  
  8823fe1e
Feb 04, 2021
- Remove outdated copy of wiki main page · 57bad0a5
  dgelessus authored 4 years ago
  
  57bad0a5
- Remove General section whose content can be found on the wiki · cb24b4d3
  dgelessus authored 4 years ago
  
  cb24b4d3
- Remove Animation section whose content can be found on the wiki · 17169add
  dgelessus authored 4 years ago
  
  17169add
- Remove BLanguage section whose content can be found on the wiki · 6111eac6
  dgelessus authored 4 years ago
  
  6111eac6
- Remove Validation section whose content can be found on the wiki · b72bf27a
  dgelessus authored 4 years ago
  
  b72bf27a
- Remove Testing section whose content can be found on the wiki · 53de0a44
  dgelessus authored 4 years ago
  
  53de0a44
- Remove Visualisation section whose content can be found on the wiki · d56a2384
  dgelessus authored 4 years ago
  
  d56a2384
- Remove CommandLine section whose content can be found on the wiki · 71e789e1
  dgelessus authored 4 years ago
  
  71e789e1
- Remove OtherLanguages section whose content can be found on the wiki · 01632242
  dgelessus authored 4 years ago
  
  01632242
Feb 03, 2021
- Remove AdvancedFeatures section whose content can be found on the wiki · 539f0cdc
  dgelessus authored 4 years ago
  
  539f0cdc
- Remove ProB2 section whose content can be found on the wiki · 7c0989c2
  dgelessus authored 4 years ago
  
  7c0989c2
- Remove JavaFX section whose content can be found on the wiki · d5b8b14a
  dgelessus authored 4 years ago
  
  d5b8b14a
- Remove Prolog section whose content can be found on the wiki · 727fbd96
  dgelessus authored 4 years ago
  
  727fbd96
- Remove JavaAPI section whose content can be found on the wiki · b6fde1cf
  dgelessus authored 4 years ago
  b6fde1cf
- Add blank lines between generated includes to fix headings · 59650dc3
  dgelessus authored 4 years ago
  59650dc3
- Remove Tcl/Tk architecture page that can also be found on the wiki · 81b35478
  dgelessus authored 4 years ago
  81b35478
- Remove Tutorials section whose content can be found on the wiki · 9bf9e9d9
  dgelessus authored 4 years ago
  
  9bf9e9d9
- Remove appendix pages that can also be found on wiki · 915e98c8
  dgelessus authored 4 years ago
  
  915e98c8
- Remove more unused pages that can also be found on the wiki · 8848c592
  dgelessus authored 4 years ago
  
  8848c592
- Remove unused "obsolete" directory · 9ed9546a
  dgelessus authored 4 years ago
  9ed9546a
- Remove modelling examples in favor of https://prob.hhu.de/w/ · 85a4d60d
  dgelessus authored 4 years ago
  85a4d60d
Feb 02, 2021
- Fix upload destination in .gitlab-ci.yml · dccded69
  dgelessus authored 4 years ago
  
  dccded69
Feb 01, 2021
- Migrate from Travis CI to GitLab CI · 70886e66
  dgelessus authored 4 years ago
  
  70886e66
- Update .travis.yml upload to new output paths · 936f4e3d
  dgelessus authored 4 years ago
  
  936f4e3d
- Remove more apparently unused .gitignore entries · 07ca6871
  dgelessus authored 4 years ago
  
  07ca6871
- Remove no longer needed diagram cache file excluding/deleting · fd6f6d50
  dgelessus authored 4 years ago
  fd6f6d50
- Use org.asciidoctor.jvm.gems plugin for extra Asciidoctor Ruby gems · aeefc32f
  dgelessus authored 4 years ago
  
  aeefc32f
- Update Asciidoctor, plugin, and dependencies to latest versions · 04aec12b
  dgelessus authored 4 years ago
  04aec12b