Isabelle_DOF
/
Isabelle_DOF
1
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.