| Thu, 20 May 2021 21:21:37 +0200 | wenzelm | more ambitious default for index "is like"; | changeset | files |
| Thu, 20 May 2021 18:32:59 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 20 May 2021 18:16:13 +0200 | wenzelm | support for index entries; | changeset | files |
| Thu, 20 May 2021 13:56:45 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 20 May 2021 13:50:20 +0200 | wenzelm | tuned signature; | changeset | files |
| Wed, 19 May 2021 21:42:45 +0200 | wenzelm | clarified modules; | changeset | files |
| Wed, 19 May 2021 18:22:56 +0200 | wenzelm | clarified old document build; | changeset | files |
| 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 |