Mon, 16 Nov 2020 20:56:44 +0000 de-applying and tidying
paulson <lp15@cam.ac.uk> [Mon, 16 Nov 2020 20:56:44 +0000] rev 72846
de-applying and tidying
Sun, 15 Nov 2020 13:08:13 +0000 trival
paulson <lp15@cam.ac.uk> [Sun, 15 Nov 2020 13:08:13 +0000] rev 72845
trival
Sun, 15 Nov 2020 13:06:41 +0000 merged
paulson [Sun, 15 Nov 2020 13:06:41 +0000] rev 72844
merged
Sun, 15 Nov 2020 07:17:06 +0000 bundles for reflected term syntax
haftmann [Sun, 15 Nov 2020 07:17:06 +0000] rev 72843
bundles for reflected term syntax
Sun, 15 Nov 2020 07:17:05 +0000 CONTRIBUTORS
haftmann [Sun, 15 Nov 2020 07:17:05 +0000] rev 72842
CONTRIBUTORS
Sun, 15 Nov 2020 07:17:05 +0000 type alias for mixin bundles
haftmann [Sun, 15 Nov 2020 07:17:05 +0000] rev 72841
type alias for mixin bundles
Sat, 14 Nov 2020 16:53:18 +0100 tuned;
wenzelm [Sat, 14 Nov 2020 16:53:18 +0100] rev 72840
tuned;
Sat, 14 Nov 2020 16:49:48 +0100 proper theory name;
wenzelm [Sat, 14 Nov 2020 16:49:48 +0100] rev 72839
proper theory name;
Sat, 14 Nov 2020 13:01:12 +0100 merged
wenzelm [Sat, 14 Nov 2020 13:01:12 +0100] rev 72838
merged
Sat, 14 Nov 2020 12:57:28 +0100 proper document_theories;
wenzelm [Sat, 14 Nov 2020 12:57:28 +0100] rev 72837
proper document_theories;
Sat, 14 Nov 2020 12:55:05 +0100 official support for document theories from other sessions;
wenzelm [Sat, 14 Nov 2020 12:55:05 +0100] rev 72836
official support for document theories from other sessions;
Thu, 12 Nov 2020 16:27:31 +0100 more interrupts, notably for running latex;
wenzelm [Thu, 12 Nov 2020 16:27:31 +0100] rev 72835
more interrupts, notably for running latex;
Thu, 12 Nov 2020 16:07:25 +0100 support for watchdog thread;
wenzelm [Thu, 12 Nov 2020 16:07:25 +0100] rev 72834
support for watchdog thread;
Thu, 12 Nov 2020 12:34:36 +0100 more parallelism;
wenzelm [Thu, 12 Nov 2020 12:34:36 +0100] rev 72833
more parallelism;
Thu, 12 Nov 2020 12:10:17 +0100 tuned signature;
wenzelm [Thu, 12 Nov 2020 12:10:17 +0100] rev 72832
tuned signature;
Thu, 12 Nov 2020 11:46:53 +0100 clarified messages;
wenzelm [Thu, 12 Nov 2020 11:46:53 +0100] rev 72831
clarified messages;
Thu, 12 Nov 2020 11:43:07 +0100 tuned imports;
wenzelm [Thu, 12 Nov 2020 11:43:07 +0100] rev 72830
tuned imports;
Thu, 12 Nov 2020 17:42:15 +0100 Removed development code wrongfully committed
desharna [Thu, 12 Nov 2020 17:42:15 +0100] rev 72829
Removed development code wrongfully committed
Thu, 12 Nov 2020 16:44:29 +0100 Tuned documentation
desharna [Thu, 12 Nov 2020 16:44:29 +0100] rev 72828
Tuned documentation
Thu, 12 Nov 2020 16:42:22 +0100 Updated ML in forgotten in previous commit
desharna [Thu, 12 Nov 2020 16:42:22 +0100] rev 72827
Updated ML in forgotten in previous commit
Thu, 12 Nov 2020 16:18:43 +0100 Merged
desharna [Thu, 12 Nov 2020 16:18:43 +0100] rev 72826
Merged
Thu, 05 Nov 2020 19:01:25 +0100 Expanded and tuned documentation
desharna [Thu, 05 Nov 2020 19:01:25 +0100] rev 72825
Expanded and tuned documentation
Thu, 05 Nov 2020 18:14:02 +0100 Added support for TFX to Sledgehammer
desharna [Thu, 05 Nov 2020 18:14:02 +0100] rev 72824
Added support for TFX to Sledgehammer
Thu, 12 Nov 2020 14:49:02 +0100 merged
nipkow [Thu, 12 Nov 2020 14:49:02 +0100] rev 72823
merged
Thu, 12 Nov 2020 11:00:34 +0100 Tuned indentation
desharna [Thu, 12 Nov 2020 11:00:34 +0100] rev 72822
Tuned indentation
Sun, 15 Nov 2020 13:06:24 +0000 more de-applying
paulson <lp15@cam.ac.uk> [Sun, 15 Nov 2020 13:06:24 +0000] rev 72821
more de-applying
Thu, 12 Nov 2020 12:44:17 +0100 tuned
nipkow [Thu, 12 Nov 2020 12:44:17 +0100] rev 72820
tuned
Thu, 22 Oct 2020 15:18:08 +0200 Tuned isar_step datatype
desharna [Thu, 22 Oct 2020 15:18:08 +0200] rev 72819
Tuned isar_step datatype
Wed, 21 Oct 2020 17:46:51 +0200 Tuned isar_proofs constructions
desharna [Wed, 21 Oct 2020 17:46:51 +0200] rev 72818
Tuned isar_proofs constructions
Wed, 21 Oct 2020 17:31:15 +0200 Tuned isar_proof datatype
desharna [Wed, 21 Oct 2020 17:31:15 +0200] rev 72817
Tuned isar_proof datatype
(0) -30000 -10000 -3000 -1000 -300 -100 -50 -30 +30 +50 +100 +300 +1000 tip