 Achim D. Brucker
|
0b6ef076b0
|
Initial support for svjour3-class from Springer.
|
5 days ago |
|
Achim D. Brucker
|
51375ea983
|
Updated TeX Live dependency to version 2021.
|
1 week ago |
|
Achim D. Brucker
|
78987a5ae0
|
Fixed MarkDown.
|
2 weeks ago |
|
Achim D. Brucker
|
920779b150
|
Raised requirement of Tex Live to TeX Live 2021 (expected release date: 4th of April 2021).
|
2 weeks ago |
|
Achim D. Brucker
|
e20e73be90
|
Added ERT 2018 publication and added note about required version of tcolorbox.sty.
|
2 weeks ago |
|
Achim D. Brucker
|
b96397800d
|
Updated Isabelle base image.
|
3 weeks ago |
|
Achim D. Brucker
|
8d8d418f0e
|
Update after Isabelle/DOF 1.1.0/Isabelle2021 release.
|
3 weeks ago |
|
Achim D. Brucker
|
712cea7ac9
|
Merge branch 'v1.1.x/Isabelle2020'
|
3 weeks ago |
|
Achim D. Brucker
|
0300a64119
|
Added v.1.1.0.
|
3 weeks ago |
|
Achim D. Brucker
|
6d166ecee4
|
Added links for 1.1.0/Isabelle2020 release.
|
3 weeks ago |
|
Achim D. Brucker
|
a0654d8db9
|
Added Nicolas Méric as contributor.
|
3 weeks ago |
|
Achim D. Brucker
|
e048bbe508
|
Merge branch 'master' of git.logicalhacking.com:Isabelle_DOF/Isabelle_DOF
|
3 weeks ago |
|
Achim D. Brucker
|
201d12a01a
|
Fixed spelling.
|
3 weeks ago |
|
Achim D. Brucker
|
aadbce7844
|
Removed direct link to TeX Live installation instructions that are somewhat misleading for OS X users. The main TeX Live instructions are, actually, more helpful.
|
3 weeks ago |
 Burkhart Wolff
|
cfad21e296
|
Ref auf Makarius Text added
|
4 weeks ago |
|
Burkhart Wolff
|
ad18d3c179
|
...
|
4 weeks ago |
|
Achim D. Brucker
|
46875b0560
|
Fixed version number.
|
1 month ago |
|
Achim D. Brucker
|
389fd6d033
|
Switch from pdf(la)tex to lua(la)tex.
|
1 month ago |
|
Achim D. Brucker
|
f975672901
|
Removed check for \expanded{}: Isabelle 2021 defaults to luatex as TeX-engine, which has \expanded{} since a very long time.
|
1 month ago |
|
Achim D. Brucker
|
4a1f15be02
|
Removed check for \expanded{}: Isabelle 2021 defaults to luatex as TeX-engine, which has \expanded{} since a very long time.
|
1 month ago |
|
Achim D. Brucker
|
06dddeacf5
|
Porting to Isabelle 2021.
|
1 month ago |
|
Achim D. Brucker
|
e495a7b2fe
|
Revising Chapter 5.
|
1 month ago |
|
Achim D. Brucker
|
018bfa4bcd
|
Added default escapechar for ltx environment.
|
1 month ago |
|
Achim D. Brucker
|
15c958ec64
|
Revised Chapter 4.
|
1 month ago |
|
Achim D. Brucker
|
29661f6734
|
Revised Sec. 4.2.
|
2 months ago |
|
Achim D. Brucker
|
3649fb855e
|
Revised Sec. 4.1.
|
2 months ago |
|
Achim D. Brucker
|
43184a9995
|
Migrated \inlinebawsh{}.
|
2 months ago |
|
Achim D. Brucker
|
ed8cd2ad9d
|
Migrated \inlinebawsh{}.
|
2 months ago |
|
Achim D. Brucker
|
029ae709e6
|
Migrated \inlineltx{}, except when argument contained { or }.
|
2 months ago |
|
Achim D. Brucker
|
85d94848b6
|
Revised Chapter 3.
|
2 months ago |
|
Achim D. Brucker
|
b61346fd64
|
Revised Sec. 3.2.
|
2 months ago |
|
Achim D. Brucker
|
3d0cbf6a4f
|
Revised Sec. 3.1.
|
2 months ago |
|
Achim D. Brucker
|
50d3dde1a0
|
Converted \inlinesml{...}.
|
2 months ago |
|
Achim D. Brucker
|
d605e23218
|
Converted \inlinesml{...}.
|
2 months ago |
|
Achim D. Brucker
|
2d3e521296
|
Converted \inlinebash{...}.
|
2 months ago |
|
Achim D. Brucker
|
b81eef7bd2
|
Converted bash-environments to antiqotations.
|
2 months ago |
|
Achim D. Brucker
|
a1332ec9a4
|
Converted bash-environments to antiqotations.
|
2 months ago |
|
Achim D. Brucker
|
243556467a
|
Merge remote-tracking branch 'origin/add-todos-fix-typos'
|
2 months ago |
|
Burkhart Wolff
|
9bba4301c1
|
nitty gritties.
|
2 months ago |
 Nicolas Méric
|
4d9de40037
|
Add TODOs to improve the wording
|
2 months ago |
|
Nicolas Méric
|
76266fbd5e
|
Add TODOs to improve text consistency
There are some inconsistencies between some figures and the text
which refers to them.
|
2 months ago |
|
Nicolas Méric
|
1fb97c8fb0
|
Add TODOs to delete references to where clause
The where clause for ontology classes is deprecated
in favor of the accepts and rejects clauses.
|
2 months ago |
|
Nicolas Méric
|
5b618562a2
|
Fix some typos
|
2 months ago |
|
Achim D. Brucker
|
e9fc175cb6
|
Cleanup.
|
2 months ago |
|
Achim D. Brucker
|
7e3c82f65e
|
Cleanup.
|
2 months ago |
|
Achim D. Brucker
|
b4482b02d9
|
Modernized comment syntax.
|
2 months ago |
|
Achim D. Brucker
|
a9737762fd
|
Fixed spacing in front of index entries..
|
2 months ago |
|
Achim D. Brucker
|
fc2817db0d
|
Cleanup.
|
2 months ago |
|
Achim D. Brucker
|
6ed771ef04
|
Workaround to support lualatex.
|
2 months ago |
|
Achim D. Brucker
|
9e605d2e3c
|
Removed fixme.
|
2 months ago |
