Default Branch

master

1d497db5cf · Merge pull request 'referential-equivalence-first-draft' (#4) from nicolas.meric/Isabelle_DOF:referential-equivalence-first-draft into master · Updated 1 week ago

Branches

Unreleased/Isabelle2018

2341879f06 · Merge branch 'master' into Unreleased/Isabelle2018 · Updated 2 years ago

370
13
Unreleased/Isabelle2020-RC4

2adf50fe83 · Merge branch 'Unreleased/Isabelle2020-RC4' of git.logicalhacking.com:Isabelle_DOF/Isabelle_DOF into Unreleased/Isabelle2020-RC4 · Updated 2 years ago

215
0
Included
add-todos-fix-typos

4d9de40037 · Add TODOs to improve the wording · Updated 10 months ago

77
0
Included
v1.0.x/Isabelle2019

d0b183af79 · Improved docker run command. · Updated 2 years ago

309
0
Included
v1.1.x/Isabelle2020

922da1aa21 · Preparation of 1.1.0/Isabelle2020 release. · Updated 9 months ago

44
1
v1.1.x/Isabelle2021

e319e4d810 · Preparation of 1.1.0/Isabelle2021 release. · Updated 9 months ago

32
1