Isabelle_DOF
/
Isabelle_DOF
1
0
Fork 0
Code Issues 0 Pull Requests 0 Releases 5 Wiki Activity
1220 Commits
7 Branches
21 MiB

Default Branch

master

0b6ef076b0 · Initial support for svjour3-class from Springer. · Updated 5 days ago
 ZIP  TAR.GZ

Branches

Unreleased/Isabelle2018

2341879f06 · Merge branch 'master' into Unreleased/Isabelle2018 · Updated 1 year ago
345
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 11 months ago
190
0
 Included
 ZIP  TAR.GZ
add-todos-fix-typos

4d9de40037 · Add TODOs to improve the wording · Updated 2 months ago
52
0
 Included
 ZIP  TAR.GZ
v1.0.x/Isabelle2019

d0b183af79 · Improved docker run command. · Updated 1 year ago
284
0
 Included
 ZIP  TAR.GZ
v1.1.x/Isabelle2020

922da1aa21 · Preparation of 1.1.0/Isabelle2020 release. · Updated 3 weeks ago
19
1
 ZIP  TAR.GZ
v1.1.x/Isabelle2021

e319e4d810 · Preparation of 1.1.0/Isabelle2021 release. · Updated 3 weeks ago
7
1
 ZIP  TAR.GZ
Delete Branch

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

No
Yes