Thu, 11 Apr 2019 16:43:02 +0200 | wenzelm | strip cartouches from arguments of "embedded" document antiquotations, corresponding to automated update via "isabelle update -u control_cartouches" -- e.g. relevant for documents with thy_output_source (e.g. doc "isar-ref", "jedit", "system"); | changeset | files |
Thu, 11 Apr 2019 15:44:06 +0200 | wenzelm | added document antiquotation option "cartouche"; | changeset | files |
Thu, 11 Apr 2019 14:22:52 +0200 | wenzelm | allow faster navigation of directory hierarchy (reverting 69465c3e3560); | changeset | files |