Fri, 20 Nov 2020 23:53:37 +0100 tuned signature;
wenzelm [Fri, 20 Nov 2020 23:53:37 +0100] rev 72906
tuned signature;
Fri, 20 Nov 2020 23:47:34 +0100 generate theory HTML in Isabelle/Scala;
wenzelm [Fri, 20 Nov 2020 23:47:34 +0100] rev 72905
generate theory HTML in Isabelle/Scala; discontinued HTML support in Isabelle/ML;
Fri, 20 Nov 2020 14:29:21 +0100 merged
desharna [Fri, 20 Nov 2020 14:29:21 +0100] rev 72904
merged
Fri, 13 Nov 2020 09:47:59 +0100 Add support for CVC4 1.8 to Sledgehammer
desharna [Fri, 13 Nov 2020 09:47:59 +0100] rev 72903
Add support for CVC4 1.8 to Sledgehammer
Fri, 20 Nov 2020 12:00:08 +0100 proper meta_digest: avoid non-portable position information;
wenzelm [Fri, 20 Nov 2020 12:00:08 +0100] rev 72902
proper meta_digest: avoid non-portable position information;
Thu, 19 Nov 2020 22:05:34 +0100 clarified messages;
wenzelm [Thu, 19 Nov 2020 22:05:34 +0100] rev 72901
clarified messages;
Thu, 19 Nov 2020 21:59:17 +0100 proper message;
wenzelm [Thu, 19 Nov 2020 21:59:17 +0100] rev 72900
proper message;
Thu, 19 Nov 2020 21:23:12 +0100 clarified signature;
wenzelm [Thu, 19 Nov 2020 21:23:12 +0100] rev 72899
clarified signature;
Thu, 19 Nov 2020 21:12:35 +0100 clarified modules;
wenzelm [Thu, 19 Nov 2020 21:12:35 +0100] rev 72898
clarified modules;
Thu, 19 Nov 2020 17:50:14 +0100 more robust library_call (again): dynamic file name, static symbol;
wenzelm [Thu, 19 Nov 2020 17:50:14 +0100] rev 72897
more robust library_call (again): dynamic file name, static symbol;
Thu, 19 Nov 2020 17:46:58 +0100 updated to polyml-test-7e49fce62e3d --- follow current ongoing development;
wenzelm [Thu, 19 Nov 2020 17:46:58 +0100] rev 72896
updated to polyml-test-7e49fce62e3d --- follow current ongoing development;
Thu, 19 Nov 2020 15:11:37 +0100 reintroduced and renamed THF_Predicate_Free deleted by c7e2a9bdc585
desharna [Thu, 19 Nov 2020 15:11:37 +0100] rev 72895
reintroduced and renamed THF_Predicate_Free deleted by c7e2a9bdc585
Thu, 19 Nov 2020 14:46:49 +0100 repaired thf output broken by c7e2a9bdc585
desharna [Thu, 19 Nov 2020 14:46:49 +0100] rev 72894
repaired thf output broken by c7e2a9bdc585
Thu, 19 Nov 2020 14:43:50 +0100 renamed data type
desharna [Thu, 19 Nov 2020 14:43:50 +0100] rev 72893
renamed data type
Thu, 19 Nov 2020 10:11:11 +0100 tuned terminology
nipkow [Thu, 19 Nov 2020 10:11:11 +0100] rev 72892
tuned terminology
Wed, 18 Nov 2020 21:53:58 +0100 merged
wenzelm [Wed, 18 Nov 2020 21:53:58 +0100] rev 72891
merged
Wed, 18 Nov 2020 21:39:55 +0100 tuned signature;
wenzelm [Wed, 18 Nov 2020 21:39:55 +0100] rev 72890
tuned signature;
Wed, 18 Nov 2020 21:34:13 +0100 store documents within session database, instead of browser_info directory;
wenzelm [Wed, 18 Nov 2020 21:34:13 +0100] rev 72889
store documents within session database, instead of browser_info directory;
Wed, 18 Nov 2020 15:52:12 +0100 clarified modules;
wenzelm [Wed, 18 Nov 2020 15:52:12 +0100] rev 72888
clarified modules;
Wed, 18 Nov 2020 15:47:53 +0100 clarified modules;
wenzelm [Wed, 18 Nov 2020 15:47:53 +0100] rev 72887
clarified modules;
Wed, 18 Nov 2020 15:41:02 +0100 more robust: ensure coherence wrt. build database;
wenzelm [Wed, 18 Nov 2020 15:41:02 +0100] rev 72886
more robust: ensure coherence wrt. build database;
Wed, 18 Nov 2020 15:36:41 +0100 clarified signature: more explicit types;
wenzelm [Wed, 18 Nov 2020 15:36:41 +0100] rev 72885
clarified signature: more explicit types;
Wed, 18 Nov 2020 13:16:08 +0100 more explicit presentation directory;
wenzelm [Wed, 18 Nov 2020 13:16:08 +0100] rev 72884
more explicit presentation directory;
Wed, 18 Nov 2020 13:14:01 +0100 more robust, e.g. for "isabelle build_doc system";
wenzelm [Wed, 18 Nov 2020 13:14:01 +0100] rev 72883
more robust, e.g. for "isabelle build_doc system";
Wed, 18 Nov 2020 08:10:40 +0100 tuned;
wenzelm [Wed, 18 Nov 2020 08:10:40 +0100] rev 72882
tuned;
Sun, 22 Nov 2020 18:26:45 +0000 cleanup of old proofs
paulson <lp15@cam.ac.uk> [Sun, 22 Nov 2020 18:26:45 +0000] rev 72881
cleanup of old proofs
Wed, 18 Nov 2020 18:45:50 +0000 merged
paulson [Wed, 18 Nov 2020 18:45:50 +0000] rev 72880
merged
Wed, 18 Nov 2020 19:38:19 +0100 new theory
nipkow [Wed, 18 Nov 2020 19:38:19 +0100] rev 72879
new theory
Wed, 18 Nov 2020 16:35:20 +0000 merged
paulson [Wed, 18 Nov 2020 16:35:20 +0000] rev 72878
merged
Wed, 18 Nov 2020 13:44:34 +0100 Tuned parentheses in TPTP output
desharna [Wed, 18 Nov 2020 13:44:34 +0100] rev 72877
Tuned parentheses in TPTP output
(0) -30000 -10000 -3000 -1000 -300 -100 -50 -30 +30 +50 +100 +300 +1000 tip