wenzelm [Fri, 19 Aug 2022 21:43:06 +0200] rev 75915
clarified directory layout (again): mimic original directory layout, notably ISABELLE_HOME;
wenzelm [Fri, 19 Aug 2022 21:25:13 +0200] rev 75914
more robust treatment of Document.Node.Name, following stored data;
wenzelm [Fri, 19 Aug 2022 21:04:14 +0200] rev 75913
more robust;
wenzelm [Fri, 19 Aug 2022 20:59:29 +0200] rev 75912
clarified directory layout: files are relative to enclosing theory;
wenzelm [Fri, 19 Aug 2022 20:42:19 +0200] rev 75911
tuned signature: avoid duplication;
wenzelm [Fri, 19 Aug 2022 20:35:30 +0200] rev 75910
more robust: theories could have been suppressed via option "condition";
wenzelm [Fri, 19 Aug 2022 20:19:05 +0200] rev 75909
tuned signature;
wenzelm [Fri, 19 Aug 2022 20:11:15 +0200] rev 75908
tuned messages (again, see d50c2129e73a): presentation setup could fail initially for take some time;
wenzelm [Fri, 19 Aug 2022 20:07:41 +0200] rev 75907
clarified modules;
wenzelm [Fri, 19 Aug 2022 16:46:00 +0200] rev 75906
clarified signature: support for adhoc file types;