isabelle: Changelog

wenzelm [Tue, 19 Oct 2021 18:24:33 +0200] rev 74551

merged

wenzelm [Tue, 19 Oct 2021 17:30:01 +0200] rev 74550

tuned ML --- clarified use of context; tuned message;

wenzelm [Tue, 19 Oct 2021 17:12:23 +0200] rev 74549

tuned --- fewer clones;

wenzelm [Tue, 19 Oct 2021 16:45:21 +0200] rev 74548

updated to jEdit plugin Highlight 2.5;

wenzelm [Tue, 19 Oct 2021 15:20:31 +0200] rev 74547

proper tactic combinator;

wenzelm [Tue, 19 Oct 2021 15:03:00 +0200] rev 74546

proper file headers;

wenzelm [Tue, 19 Oct 2021 14:58:22 +0200] rev 74545

clarified context; clarified modules;

wenzelm [Tue, 19 Oct 2021 14:41:29 +0200] rev 74544

more accurate treatment of context;

Manuel Eberl <manuel@pruvisto.org> [Tue, 19 Oct 2021 16:10:36 +0200] rev 74543

updated email address

Manuel Eberl <manuel@pruvisto.org> [Fri, 15 Oct 2021 18:09:34 +0200] rev 74542

removed some 'private' modifiers from HOL-Computational_Algebra

isabelle