isabelle: Changelog

wenzelm [Sat, 28 Nov 2020 23:28:56 +0100] rev 72765

clarified parsing vs. semantic errors;

wenzelm [Sat, 28 Nov 2020 22:20:48 +0100] rev 72764

clarified signature;

wenzelm [Sat, 28 Nov 2020 21:56:24 +0100] rev 72763

added document antiquotation @{tool}; formal check of isabelle tools via Isabelle/Scala;

wenzelm [Sat, 28 Nov 2020 20:18:29 +0100] rev 72762

more robust isabelle_scala_files; clarified evaluation;

wenzelm [Sat, 28 Nov 2020 20:14:46 +0100] rev 72761

avoid conflicting base names;

wenzelm [Sat, 28 Nov 2020 17:38:03 +0100] rev 72760

clarified protocol: Doc.check at run-time via Scala function;

wenzelm [Sat, 28 Nov 2020 16:25:29 +0100] rev 72759

more antiquotations (reverting 4df341249348);

wenzelm [Sat, 28 Nov 2020 15:59:24 +0100] rev 72758

tuned;

wenzelm [Sat, 28 Nov 2020 15:53:46 +0100] rev 72757

tuned signature --- more explicit types;

wenzelm [Sat, 28 Nov 2020 15:17:14 +0100] rev 72756

more positions;

isabelle