Default Branch

master

6927781d26 · Merge. · Updated 2 weeks ago

Branches

Unreleased/Isabelle2018

2341879f06 · Merge branch 'master' into Unreleased/Isabelle2018 · Updated 1 year ago

289
13
Unreleased/Isabelle2020-RC4

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

134
0
Included
v1.0.x/Isabelle2019

d0b183af79 · Improved docker run command. · Updated 1 year ago

228
0
Included