Isabelle_DOF
/
Isabelle_DOF
1
0
Fork 0
Code Issues 0 Pull Requests 0 Releases 3 Wiki Activity
1164 Commits
4 Branches
48 MiB

Default Branch

master

6927781d26 · Merge. · Updated 2 weeks ago
 ZIP  TAR.GZ

Branches

Unreleased/Isabelle2018

2341879f06 · Merge branch 'master' into Unreleased/Isabelle2018 · Updated 1 year ago
289
13
 ZIP  TAR.GZ
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
 ZIP  TAR.GZ
v1.0.x/Isabelle2019

d0b183af79 · Improved docker run command. · Updated 1 year ago
228
0
 Included
 ZIP  TAR.GZ
Delete Branch

Deleting a branch is permanent. It CANNOT be undone. Continue?

No
Yes