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

Snippets Groups Projects

Ab 01.06.2025 wird in der Informatik 2FA/MFA erzwungen. Die Einrichtung wird vorher empfohlen, optimalerweise direkt mit Fallback (Hardwaretoken UND TOTP-/Authenticator App).

Apr 08, 2024
- Fix/replace broken section links · 671b92f1
  dgelessus authored 1 year ago
  
  671b92f1
- Fix a few outdated links · 28a93ee4
  dgelessus authored 1 year ago
  
  28a93ee4
- Remove a few more mentions of separate developer and user handbook · b4a9f28a
  dgelessus authored 1 year ago
  
  b4a9f28a
- Remove old reference to user handbook · 833dab8f
  dgelessus authored 1 year ago
  833dab8f
May 05, 2023
- Remove section about co-simulation (no longer part of ProB 2) · 433f9788
  dgelessus authored 2 years ago
  
  433f9788
Dec 06, 2022
- Set DEPLOY_REMOTE_BASEDIR at group level · a7a623c2
  dgelessus authored 2 years ago
  
  a7a623c2
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