| Tue, 18 May 2021 21:09:51 +0200 | wenzelm | show symbols in Isabelle/ML instead of perl; | changeset | files |
| Tue, 18 May 2021 20:19:02 +0200 | wenzelm | more robust run of makeindex (amending 0f0a2148a099, Gerwin Klein 2004), using the old status-quo of e.g. doc-src/Intro/Makefile; | changeset | files |
| Tue, 18 May 2021 19:59:22 +0200 | wenzelm | tuned --- more robust; | changeset | files |
| Tue, 18 May 2021 19:49:06 +0200 | wenzelm | discontinued somewhat pointless "fixbookmarks": default output works sufficiently well; | changeset | files |
| Tue, 18 May 2021 17:19:19 +0200 | wenzelm | more uniform bibtex error, without using perl (see 4710dd5093a3); | changeset | files |
| Tue, 18 May 2021 17:02:45 +0200 | wenzelm | proper message for instances of Exn.User_Error, without extra Output.error_prefix (e.g. for Document_Build.Build_Error); | changeset | files |