Skip to content
GitLab
Explore
Sign in
Primary navigation
Search or go to…
Project
I
inf
Manage
Activity
Members
Labels
Plan
Issues
Issue boards
Milestones
Iterations
Wiki
Requirements
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
Operate
Environments
Monitor
Incidents
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
Terms and privacy
Keyboard shortcuts
?
Snippets
Groups
Projects
Show more breadcrumbs
meta
inf
Repository graph
Repository graph
You can move around the graph by using the arrow keys.
master
Select Git revision
Branches
5
devel
master
default
protected
miko4
sTeX2.0
stex4
5 results
Begin with the selected commit
Created with Raphaël 2.2.0
1
Jun
2
Jun
12
Apr
13
Mar
26
Oct
1
Jun
16
May
15
14
11
10
8
18
Apr
25
Oct
23
20
Jul
17
11
Jun
29
May
13
27
Apr
25
23
20
19
13
8
5
27
Mar
24
19
24
Feb
12
8
7
6
5
30
Jan
28
27
21
Sep
22
Jun
24
May
20
11
10
4
3
2
27
Apr
18
15
12
10
8
7
31
Mar
24
22
18
16
15
7
2
25
Feb
24
23
22
17
12
11
10
9
8
4
2
1
31
Jan
27
26
25
23
22
21
18
11
6
5
3
9
Dec
7
27
Nov
26
24
23
19
17
16
18
Oct
15
13
12
9
2
24
Sep
23
16
2
1
31
Aug
26
24
Jul
15
14
9
29
Jun
24
18
17
16
12
11
21
May
20
26
Apr
24
20
19
16
14
13
9
31
Mar
29
30
29
17
13
12
8
Feb
6
5
3
30
Jan
28
22
6
17
Dec
16
15
3
2
1
cleanup
master miko4 st…
master miko4 stex4
cleanup
draining
devel
devel
Add STeX extension
sTeX2.0
sTeX2.0
draining
Update mathhub.msl
moved to https://github.com/MathHubInfo/Documentation/wiki
Add new MathHub config file
Add legacy readme
Move configuration files into legacy
Load MathHub Extension
Update def-build.mbt
Update catalog.mcf
Update catalog.mcf
Update catalog.mcf
Update def-build.mbt
Update def-build.mbt
Update def-build.mbt
Turn off PVS/NASA temporarily
Too much debug
Merge remote-tracking branch 'origin/master'
Simpler config
Simpler config
Update def-build.mbt
Update config.mcf
Update def-build.mbt
Update MathHub path
Remove logging from def-build.mbt
Remove debug logging file
Migrate frontend.handle() to frontend.handleLine()
Added ODK/Singular
updating mailing list
added MitM/interfaces
update
adapted to graph stuff
more informal
more informal stuff
deprecated
case conflict
teaching group
Loading