This website works better with JavaScript.
Home
Help
Sign In
Isabelle_DOF
/
Isabelle_DOF
Watch
1
Star
0
Fork
0
Code
Issues
0
Pull Requests
0
Releases
5
Wiki
Activity
Compare commits
merge into: Isabelle_DOF:master
Isabelle_DOF:Unreleased/Isabelle2018
Isabelle_DOF:Unreleased/Isabelle2020-RC4
Isabelle_DOF:add-todos-fix-typos
Isabelle_DOF:master
Isabelle_DOF:v1.0.x/Isabelle2019
Isabelle_DOF:v1.1.x/Isabelle2020
Isabelle_DOF:v1.1.x/Isabelle2021
...
pull from: Isabelle_DOF:master
Isabelle_DOF:Unreleased/Isabelle2018
Isabelle_DOF:Unreleased/Isabelle2020-RC4
Isabelle_DOF:add-todos-fix-typos
Isabelle_DOF:master
Isabelle_DOF:v1.0.x/Isabelle2019
Isabelle_DOF:v1.1.x/Isabelle2020
Isabelle_DOF:v1.1.x/Isabelle2021
These branches are equal. There is no need to create a pull request.
