1220 Commits (master)
 

Author SHA1 Message Date
  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 2 months ago
  Nicolas Méric 1fb97c8fb0 Add TODOs to delete references to where clause 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