Skip to content
GitLab
Explore
Sign in
Primary navigation
Search or go to…
Project
G
GAP
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
ODK
GAP
Repository graph
Repository graph
You can move around the graph by using the arrow keys.
667e7b9916d04039ad4502d5055499f6a057d75a
Select Git revision
Branches
2
jakob-main
master
default
2 results
Begin with the selected commit
Created with Raphaël 2.2.0
3
Jul
16
Aug
3
18
Oct
16
May
14
28
Oct
26
16
10
9
23
Aug
5
Apr
27
Jun
7
9
May
29
Apr
25
6
27
Jan
29
Jul
6
1
30
Jun
29
28
3
2
1
31
May
5
Feb
27
Jan
26
Add mws_harvest.harvest
jakob-main
jakob-main
Sort narration.ndjson
Add narration.ndjson
Add metadata file
cleanup_gitignore
master
master
gaptypes.json: update with more symbols (see gap-packages/MathInTheMiddle)
cleaned up
generated files
PermConstr
update
update
update
Add recent GAP export
update
Automatically replace old LF symbols and delimiters
Add outline
Add some notes on aligning GAP with MMT
Merge branch 'master' of gl.mathhub.info:ODK/GAP
lstinputmhlisting
Added errors folder
Update
mailaddress_kwarc
Merge branch 'master' of gl.mathhub.info:ODK/GAP
Added link to browsable export
new source files
new version of mws harvests
added tema config
initial version of MWS harvest
generated stuff
add html files with math inside
Add an example GAP server
Update gaptypes.json
Update gaptypes.json
Pretty print gaptypes.json
New gaptypes.json (exported with -A)
resolve conflict
New version of gaptypes.json
Merge branch 'markusp'
Cleanups and store locations
refactored, code/scripts to lib folder, content to gap
Loading