Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Menu
Open sidebar
isa-afp
afp-2020
Repository
63a30af970b638a1b3813e2a27c72a80e9c33bef
Switch branch/tag
afp-2020
thys
Example-Submission
ROOT
Find file
Blame
History
Permalink
simplified session specifications (cf. Isabelle/f8c1a5b9488f);
· 13576fe3c2c1
wenzelm
authored
Aug 08, 2012
13576fe3c2c1
Replace ROOT
×
Attach a file by drag & drop or
click to upload
Commit message
Replace ROOT
Replace file
Cancel
GitLab will create a branch in your fork and start a merge request.