Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
0 results
Created with Raphaël 2.2.08Apr5May6Dec8Nov22Apr212Nov12Feb98432128May2218Feb115Dec415Oct23Sep23Aug29Apr1622Mar2115Feb1417Jan141024Nov128722Oct181519Sep12Oct8229Sep191716223Aug2127Jul96543215Jun1211830May1884327Apr26242338Mar115Feb14Fix/replace broken section linksmastermasterFix a few outdated linksRemove a few more mentions of separate developer and user handbookRemove old reference to user handbookRemove section about co-simulation (no longer part of ProB 2)Set DEPLOY_REMOTE_BASEDIR at group levelReplace the Gradle/AsciidoctorJ build with plain AsciidoctorSimplify directory structure of adoc filesInline some simple parts of the document structureFix name of icons attributeRemove encoding attribute which seems to not actually existSet all attributes in adoc header instead of build.gradleReplace template and config system with a static main adoc fileSwitch CI upload job to Alpine to hopefully fix SFTP timeout problemsFix gem version issues with dependencies of asciidoctor-bibtexUpdate Gradle wrapper to version 7.4.2Update Gradle wrapper to version 7.2Use Gradle asciidoctor's native support for diagram and pdf pluginsRemove unused asciidoctorj-epub dependencyRemove unneeded explicit Asciidoctor version overrideUpdate Asciidoctor and other dependencies to latest versionsUpdate Gradle wrapper to version 6.8.2remote_mirror_c…remote_mirror_c3f9200aee26d6f1b15368f4b12b57f6/masterReplace another use of JCenter with Maven CentralSwitch back to Maven Central from JCenter, which is shutting downFix GitLab CI upload source directories properly this timeFix GitLab CI upload source directoriesRemove outdated copy of wiki main pageRemove General section whose content can be found on the wikiRemove Animation section whose content can be found on the wikiRemove BLanguage section whose content can be found on the wikiRemove Validation section whose content can be found on the wikiRemove Testing section whose content can be found on the wikiRemove Visualisation section whose content can be found on the wikiRemove CommandLine section whose content can be found on the wikiRemove OtherLanguages section whose content can be found on the wikiRemove AdvancedFeatures section whose content can be found on the wikiRemove ProB2 section whose content can be found on the wikiRemove JavaFX section whose content can be found on the wikiRemove Prolog section whose content can be found on the wikiRemove JavaAPI section whose content can be found on the wiki