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
3
Wiki
Activity
Compare commits
merge into: Isabelle_DOF:master
Isabelle_DOF:Unreleased/Isabelle2018
Isabelle_DOF:Unreleased/Isabelle2020-RC4
Isabelle_DOF:master
Isabelle_DOF:v1.0.x/Isabelle2019
...
pull from: Isabelle_DOF:master
Isabelle_DOF:Unreleased/Isabelle2018
Isabelle_DOF:Unreleased/Isabelle2020-RC4
Isabelle_DOF:master
Isabelle_DOF:v1.0.x/Isabelle2019
These branches are equal. There is no need to create a pull request.