Commits · c3a010a92867d67bd20c7bdf56c5b5bcedc68ffd · general / stups / ProB 2 Documentation · GitLab

Snippets Groups Projects

Nov 08, 2022
- Replace the Gradle/AsciidoctorJ build with plain Asciidoctor · c3a010a9
  dgelessus authored 2 years ago
  c3a010a9
- Simplify directory structure of adoc files · dc151d92
  dgelessus authored 2 years ago
  
  dc151d92
- Inline some simple parts of the document structure · 723028ac
  dgelessus authored 2 years ago
  
  723028ac
- Fix name of icons attribute · b61048da
  dgelessus authored 2 years ago
  
  b61048da
- Remove encoding attribute which seems to not actually exist · 9fd1ae48
  dgelessus authored 2 years ago
  9fd1ae48
- Set all attributes in adoc header instead of build.gradle · 05dd9b57
  dgelessus authored 2 years ago
  05dd9b57
- Replace template and config system with a static main adoc file · c3c00592
  dgelessus authored 2 years ago
  c3c00592
Apr 22, 2022
- Switch CI upload job to Alpine to hopefully fix SFTP timeout problems · 380087a8
  dgelessus authored 3 years ago
  
  380087a8
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