isabelle: Changelog

wenzelm [Thu, 03 Nov 2022 16:03:44 +0100] rev 76413

more timing;

wenzelm [Thu, 03 Nov 2022 15:19:01 +0100] rev 76412

tuned;

wenzelm [Thu, 03 Nov 2022 14:50:43 +0100] rev 76411

tuned comments;

wenzelm [Thu, 03 Nov 2022 12:54:57 +0100] rev 76410

tuned;

wenzelm [Thu, 03 Nov 2022 12:52:06 +0100] rev 76409

prefer abstract command kind (in contrast to 367f4512e65c);

wenzelm [Thu, 03 Nov 2022 12:50:53 +0100] rev 76408

tuned;

wenzelm [Wed, 02 Nov 2022 16:13:29 +0100] rev 76407

tuned: avoid warning in IntelliJ IDEA;

wenzelm [Wed, 02 Nov 2022 11:34:24 +0100] rev 76406

more accurate outer syntax keywords (see also 94b2690ad494): base session could be anything, e.g. ZF vs. HOL;

wenzelm [Wed, 02 Nov 2022 11:01:22 +0100] rev 76405

tuned signature;

wenzelm [Wed, 02 Nov 2022 10:24:44 +0100] rev 76404

clarified signature: do not require finished theory;

isabelle