Skip to content
GitLab
Explore
Sign in
Primary navigation
Search or go to…
Project
M
models
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
Container Registry
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
MitM
models
Repository graph
Repository graph
You can move around the graph by using the arrow keys.
master
Select Git revision
Branches
4
aimans_playground
formal_refactoring
master
default
protected
sTeX2.0
4 results
Begin with the selected commit
Created with Raphaël 2.2.0
25
Nov
22
21
19
18
16
14
28
Jun
27
22
May
20
19
Jan
26
Nov
26
Oct
22
18
15
3
16
May
5
2
28
Apr
25
25
Nov
24
23
21
Oct
1
May
13
Aug
6
Jul
5
Apr
27
Nov
6
15
Oct
5
20
Sep
31
Jul
23
24
May
23
22
18
16
15
25
Apr
24
Mar
23
22
21
18
21
Feb
18
28
Jan
26
22
20
19
18
17
16
removing old, redundant committed junk
sTeX2.0
sTeX2.0
symdecl* and importmhmodule (most; and with an error)
removing the mh options
taking care of \trefi and friends
taking care of \defi and friends
renamings
taking care of \\prefix
more little fixes
taking care of all (trivial) Op, Rel, and FN, and functions=, and some for=
removing all modsig/mhmodnl
symvariant outer syntax
fixing args in symdef
undoing preamble changes from yesterday, they cannot work
master
master
move preamble.tex to preamble.sty
draining
draining
draining
draining
retiring_BaseMH
\baseuri_is_deprecated
cleanup_gitignore
making_all_modules_selfcontained
eliminating_input_localpaths_update_to_newest_sTeX
debugging
more ignorance
debugging
removing_deprecated_mtrefis
deprecating_\mtrefi
debugging
simplifying_import/usemhmodule_via_dir
regularized_repos=_options_to_mhrepos=
replace_atrefi*_with_mtrefi
debugging
debugging
adds missing roles
aimans_playground
aimans_playground
initial commit
debugging
more ignorance
Automatically replace old LF symbols and delimiters
Automatically replace old LF symbols and delimiters
formal_refactor…
formal_refactoring
Loading