Wed, 19 May 2021 16:44:40 +0200 | wenzelm | unused; | changeset | files |
Wed, 19 May 2021 16:41:32 +0200 | wenzelm | prefer standard document_build=lualatex --- ISABELLE_TMP/examples has been removed already in 435fb018e8ee; | changeset | files |
Wed, 19 May 2021 16:35:10 +0200 | wenzelm | prefer standard document_build=lualatex --- no impact of "sedindex" in prepare_document; | changeset | files |
Wed, 19 May 2021 15:53:55 +0200 | wenzelm | unused; | changeset | files |
Wed, 19 May 2021 15:45:13 +0200 | wenzelm | proper Unix lines; | changeset | files |
Wed, 19 May 2021 13:21:08 +0200 | wenzelm | prefer explicit option document_bibliography (actually ignored by build script); | changeset | files |