Default Branch

master

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

Branches

Unreleased/Isabelle2018

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

345
13
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
add-todos-fix-typos

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

52
0
Included
v1.0.x/Isabelle2019

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

284
0
Included
v1.1.x/Isabelle2020

922da1aa21 · Preparation of 1.1.0/Isabelle2020 release. · Updated 3 weeks ago

19
1
v1.1.x/Isabelle2021

e319e4d810 · Preparation of 1.1.0/Isabelle2021 release. · Updated 3 weeks ago

7
1