Skip to content
GitLab
Explore
Sign in
Primary navigation
Search or go to…
Project
P
ProB 2 Documentation
Manage
Activity
Members
Labels
Plan
Issues
Issue boards
Milestones
Iterations
Code
Merge requests
Repository
Branches
Commits
Tags
Repository graph
Compare revisions
Locked files
Build
Pipelines
Jobs
Pipeline schedules
Test cases
Artifacts
Deploy
Releases
Model registry
Analyze
Value stream analytics
Contributor analytics
CI/CD analytics
Repository analytics
Code review analytics
Issue analytics
Insights
Model experiments
Help
Help
Support
GitLab documentation
Compare GitLab plans
Community forum
Contribute to GitLab
Provide feedback
Keyboard shortcuts
?
Snippets
Groups
Projects
Show more breadcrumbs
general
stups
ProB 2 Documentation
Repository graph
Repository graph
You can move around the graph by using the arrow keys.
c3a010a92867d67bd20c7bdf56c5b5bcedc68ffd
Select Git revision
0 results
Begin with the selected commit
Created with Raphaël 2.2.0
8
Apr
5
May
6
Dec
8
Nov
22
Apr
21
2
Nov
12
Feb
9
8
4
3
2
1
28
May
22
18
Feb
11
5
Dec
4
15
Oct
23
Sep
23
Aug
29
Apr
16
22
Mar
21
15
Feb
14
17
Jan
14
10
24
Nov
12
8
7
22
Oct
18
15
19
Sep
12
Oct
8
2
29
Sep
19
17
16
2
23
Aug
21
27
Jul
9
6
5
4
3
2
15
Jun
12
11
8
30
May
18
8
4
3
27
Apr
26
24
23
3
8
Mar
1
15
Feb
14
Fix/replace broken section links
master
master
Fix a few outdated links
Remove a few more mentions of separate developer and user handbook
Remove old reference to user handbook
Remove section about co-simulation (no longer part of ProB 2)
Set DEPLOY_REMOTE_BASEDIR at group level
Replace the Gradle/AsciidoctorJ build with plain Asciidoctor
Simplify directory structure of adoc files
Inline some simple parts of the document structure
Fix name of icons attribute
Remove encoding attribute which seems to not actually exist
Set all attributes in adoc header instead of build.gradle
Replace template and config system with a static main adoc file
Switch CI upload job to Alpine to hopefully fix SFTP timeout problems
Fix gem version issues with dependencies of asciidoctor-bibtex
Update Gradle wrapper to version 7.4.2
Update Gradle wrapper to version 7.2
Use Gradle asciidoctor's native support for diagram and pdf plugins
Remove unused asciidoctorj-epub dependency
Remove unneeded explicit Asciidoctor version override
Update Asciidoctor and other dependencies to latest versions
Update Gradle wrapper to version 6.8.2
remote_mirror_c…
remote_mirror_c3f9200aee26d6f1b15368f4b12b57f6/master
Replace another use of JCenter with Maven Central
Switch back to Maven Central from JCenter, which is shutting down
Fix GitLab CI upload source directories properly this time
Fix GitLab CI upload source directories
Remove outdated copy of wiki main page
Remove General section whose content can be found on the wiki
Remove Animation section whose content can be found on the wiki
Remove BLanguage section whose content can be found on the wiki
Remove Validation section whose content can be found on the wiki
Remove Testing section whose content can be found on the wiki
Remove Visualisation section whose content can be found on the wiki
Remove CommandLine section whose content can be found on the wiki
Remove OtherLanguages section whose content can be found on the wiki
Remove AdvancedFeatures section whose content can be found on the wiki
Remove ProB2 section whose content can be found on the wiki
Remove JavaFX section whose content can be found on the wiki
Remove Prolog section whose content can be found on the wiki
Remove JavaAPI section whose content can be found on the wiki
Loading