Wed, 19 May 2021 13:21:08 +0200 | wenzelm | prefer explicit option document_bibliography (actually ignored by build script); | changeset | files |
Wed, 19 May 2021 13:19:37 +0200 | wenzelm | explicit option document_bibliography; | changeset | files |
Wed, 19 May 2021 12:53:51 +0200 | wenzelm | proper bibliography; | changeset | files |
Wed, 19 May 2021 13:00:42 +0200 | wenzelm | discontinued obsolete "isabelle latex"; | changeset | files |
Wed, 19 May 2021 11:54:58 +0200 | wenzelm | more direct use of latex tools: avoid diversion into "isabelle latex -o pdf" and its confusion of ISABELLE_PDFLATEX vs. ISABELLE_LUALATEX; | changeset | files |
Wed, 19 May 2021 11:48:35 +0200 | wenzelm | default document_build (lualatex); | changeset | files |
Wed, 19 May 2021 11:18:38 +0200 | wenzelm | more robust: allow \printindex within the document; | changeset | files |