paulson <lp15@cam.ac.uk> [Wed, 19 Oct 2022 13:39:00 +0100] rev 76338
A bit of tidying
paulson [Tue, 18 Oct 2022 15:59:15 +0100] rev 76337
merged
paulson <lp15@cam.ac.uk> [Tue, 18 Oct 2022 15:59:01 +0100] rev 76336
Slight tidying of legacy proofs
wenzelm [Tue, 18 Oct 2022 14:15:41 +0200] rev 76335
merged
wenzelm [Tue, 18 Oct 2022 11:31:35 +0200] rev 76334
update naproche component;
wenzelm [Tue, 18 Oct 2022 10:53:55 +0200] rev 76333
Added tag Isabelle2022-RC4 for changeset 8b4108f41c77
wenzelm [Mon, 17 Oct 2022 23:36:08 +0200] rev 76332
rebuild with proper Isabelle version;
wenzelm [Mon, 17 Oct 2022 23:30:31 +0200] rev 76331
removed junk;
wenzelm [Mon, 17 Oct 2022 22:39:44 +0200] rev 76330
more robust, e.g. for "isabelle dump";
wenzelm [Mon, 17 Oct 2022 22:32:19 +0200] rev 76329
more robust, e.g. for "isabelle dump";
wenzelm [Mon, 17 Oct 2022 22:24:32 +0200] rev 76328
more robust, e.g. for "isabelle dump";
wenzelm [Mon, 17 Oct 2022 20:24:15 +0200] rev 76327
allow spaces in SCALA_HOME directory name;
wenzelm [Mon, 17 Oct 2022 20:18:05 +0200] rev 76326
avoid spurious error messages, e.g. when scala is missing;
wenzelm [Mon, 17 Oct 2022 16:10:45 +0200] rev 76325
more NEWS;
wenzelm [Mon, 17 Oct 2022 14:24:35 +0200] rev 76324
tuned, following hints by IntelliJ IDEA;
wenzelm [Mon, 17 Oct 2022 14:11:59 +0200] rev 76323
avoid result based on outdated state, e.g. relevant for use_theories with changed files;
wenzelm [Mon, 17 Oct 2022 12:15:23 +0200] rev 76322
tuned signature;
wenzelm [Mon, 17 Oct 2022 11:58:13 +0200] rev 76321
tuned signature, following hints by IntelliJ IDEA;
wenzelm [Sun, 16 Oct 2022 20:33:59 +0200] rev 76320
more robust treatment of state and events;
wenzelm [Sun, 16 Oct 2022 19:12:27 +0200] rev 76319
tuned signature;
wenzelm [Sun, 16 Oct 2022 16:09:33 +0200] rev 76318
proper result state (amending 954640e846d6);
wenzelm [Sun, 16 Oct 2022 15:35:38 +0200] rev 76317
tuned;
wenzelm [Sun, 16 Oct 2022 15:23:07 +0200] rev 76316
tuned signature;
wenzelm [Sun, 16 Oct 2022 14:08:34 +0200] rev 76315
tuned;
wenzelm [Sun, 16 Oct 2022 13:54:00 +0200] rev 76314
tuned signature;
wenzelm [Sun, 16 Oct 2022 13:18:54 +0200] rev 76313
tuned: clarified old_theory (in contrast to 4d5342898b1);
wenzelm [Sun, 16 Oct 2022 13:10:47 +0200] rev 76312
tuned signature;
wenzelm [Sun, 16 Oct 2022 13:02:58 +0200] rev 76311
more robust: active consumer for check_state/check_progress;