wenzelm [Mon, 02 Dec 2024 20:35:12 +0100] rev 81540
tuned signature;
wenzelm [Mon, 02 Dec 2024 18:53:45 +0100] rev 81539
clarified modules;
wenzelm [Mon, 02 Dec 2024 14:30:10 +0100] rev 81538
more accurate extern_const: avoid clash with frees;
wenzelm [Mon, 02 Dec 2024 14:08:28 +0100] rev 81537
more direct Proof_Context.lookup_free -- bypass redundancy of Proof_Context.check_const;
wenzelm [Mon, 02 Dec 2024 11:45:42 +0100] rev 81536
clarified signature: uniform context;
wenzelm [Mon, 02 Dec 2024 11:36:53 +0100] rev 81535
clarified signature: uniform context;
wenzelm [Mon, 02 Dec 2024 11:22:44 +0100] rev 81534
proper context for extern operation: observe local options;
more uniform global_ctxt for pretty printing;
wenzelm [Mon, 02 Dec 2024 11:08:36 +0100] rev 81533
proper context for extern/check operation: observe local options like names_unique;
wenzelm [Sun, 01 Dec 2024 22:14:13 +0100] rev 81532
tuned;
wenzelm [Sun, 01 Dec 2024 21:46:54 +0100] rev 81531
tuned signature: more operations;
nipkow [Thu, 05 Dec 2024 19:44:53 +0100] rev 81530
added Halting problem theory
desharna [Thu, 05 Dec 2024 15:49:48 +0100] rev 81529
merged
desharna [Fri, 29 Sep 2023 15:27:43 +0200] rev 81528
added parallel_group_size option to Mirabelle
desharna [Thu, 05 Dec 2024 15:23:46 +0100] rev 81527
adapted bash files to use cartouches
nipkow [Mon, 02 Dec 2024 12:38:27 +0100] rev 81526
tuned
wenzelm [Sun, 01 Dec 2024 21:14:56 +0100] rev 81525
clarified names context: proper context, without consts;
wenzelm [Sun, 01 Dec 2024 21:13:57 +0100] rev 81524
clarified names context: proper context, without consts;
wenzelm [Sun, 01 Dec 2024 18:12:24 +0100] rev 81523
tuned;
wenzelm [Sun, 01 Dec 2024 14:24:10 +0100] rev 81522
tuned;
wenzelm [Sun, 01 Dec 2024 14:01:47 +0100] rev 81521
clarified signature: more operations;
wenzelm [Sat, 30 Nov 2024 23:30:36 +0100] rev 81520
merged
wenzelm [Sat, 30 Nov 2024 22:33:21 +0100] rev 81519
clarified signature;
wenzelm [Sat, 30 Nov 2024 22:02:36 +0100] rev 81518
tuned names/scopes;
wenzelm [Sat, 30 Nov 2024 21:01:59 +0100] rev 81517
tuned signature: more operations;
wenzelm [Sat, 30 Nov 2024 19:21:38 +0100] rev 81516
eliminate historic clone (see also 550e36c6a2d1);
wenzelm [Sat, 30 Nov 2024 17:14:30 +0100] rev 81515
tuned signature: more operations;
wenzelm [Sat, 30 Nov 2024 16:42:22 +0100] rev 81514
clarified 'unbundle' polarity, according to algebraic group laws;
wenzelm [Sat, 30 Nov 2024 16:01:58 +0100] rev 81513
tuned signature: more operations;