Isabelle_DOF
/
Isabelle_DOF
1
0
Fork 1
Code Issues Pull Requests Releases Wiki Activity

Compare commits

merge into: Isabelle_DOF:master
Branches Tags
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
Branches Tags
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.