Tue, 29 May 2018 14:25:39 +0200 wenzelm more operations (as in ML);
Tue, 29 May 2018 13:45:51 +0200 wenzelm clarified option -O: avoid conflict with build/dump option -D;
Tue, 29 May 2018 20:01:50 +0200 nipkow slicker proof
Tue, 29 May 2018 14:05:59 +0200 nipkow canonical names
Mon, 28 May 2018 23:15:30 +0100 paulson merged
Mon, 28 May 2018 23:15:23 +0100 paulson more general tidying
Mon, 28 May 2018 22:29:52 +0200 wenzelm merged
Mon, 28 May 2018 22:25:10 +0200 wenzelm support to dump build database produced by PIDE session;
Mon, 28 May 2018 21:29:03 +0200 wenzelm more accurate theory_graph: avoid imports of loaded_theories with incomplete node name;
Mon, 28 May 2018 17:40:34 +0200 wenzelm clarified signature: Known.theories retains Document.Node.Entry (with header);
Mon, 28 May 2018 13:35:43 +0200 wenzelm clarified signature;
Mon, 28 May 2018 11:15:17 +0200 wenzelm tuned signature;
Sun, 27 May 2018 22:57:06 +0100 paulson merged
Sun, 27 May 2018 22:56:43 +0100 paulson tidying up a bit more
Sun, 27 May 2018 23:15:47 +0200 wenzelm prefer existing operation;
Sun, 27 May 2018 22:37:08 +0200 wenzelm retain isolated blob nodes (amending deb2fcbda16e): avoid failure of Session.handle_change with "Missing blob", when opening theory with load command later;
Sun, 27 May 2018 22:21:43 +0200 wenzelm clarified signature -- avoid confusion with Resources.is_hidden;
Sun, 27 May 2018 13:42:01 +0200 wenzelm markup for deleted fragments of token source (NB: quoted tokens transform "\123" implicitly);
Sat, 26 May 2018 22:12:18 +0100 paulson merged
Sat, 26 May 2018 22:11:55 +0100 paulson tidying and reorganisation around Cauchy Integral Theorem
Sat, 26 May 2018 22:02:25 +0200 wenzelm export sort algebra;
Sat, 26 May 2018 21:24:07 +0200 wenzelm tuned;
Sat, 26 May 2018 21:23:51 +0200 wenzelm tuned;
Sat, 26 May 2018 19:40:02 +0200 wenzelm support 'export_files' in session ROOT;
Sat, 26 May 2018 19:39:06 +0200 wenzelm clarified output;
Sat, 26 May 2018 17:37:15 +0200 wenzelm support multiple patterns;
Sat, 26 May 2018 16:52:03 +0200 wenzelm clarified cache;
Sat, 26 May 2018 13:36:28 +0200 wenzelm tuned signature;
Sat, 26 May 2018 13:34:44 +0200 wenzelm tuned output;
Sat, 26 May 2018 10:11:11 +0100 paulson merged
Sat, 26 May 2018 08:36:19 +0100 paulson merged
Sat, 26 May 2018 08:36:09 +0100 paulson tidied some proofs
Thu, 24 May 2018 23:05:28 +0100 paulson merged
Thu, 24 May 2018 21:58:23 +0100 paulson merged
Thu, 24 May 2018 21:58:17 +0100 paulson more small tidying
Sat, 26 May 2018 11:06:01 +0200 Lars Hupel merged
Fri, 25 May 2018 21:08:00 +0200 Lars Hupel macOS build: exclude HOL-Proofs
Fri, 25 May 2018 23:11:06 +0200 wenzelm tuned;
Fri, 25 May 2018 22:48:37 +0200 wenzelm merged
Fri, 25 May 2018 22:47:57 +0200 wenzelm added command 'ML_export';
Fri, 25 May 2018 22:47:36 +0200 wenzelm more examples;
Fri, 25 May 2018 21:02:40 +0200 wenzelm tuned output;
Fri, 25 May 2018 21:01:51 +0200 wenzelm pretty-print according to defaults of input syntax;
Fri, 25 May 2018 21:00:47 +0200 wenzelm more accurate diagram;
Fri, 25 May 2018 13:47:58 +0200 wenzelm proper output;
Thu, 24 May 2018 09:26:26 +0000 haftmann treat gcd_eq_1_imp_coprime analogously to mod_0_imp_dvd
Thu, 24 May 2018 22:28:26 +0200 wenzelm merged
Thu, 24 May 2018 22:17:23 +0200 wenzelm setup server directory for Cygwin quasi-mirror;
Thu, 24 May 2018 21:36:39 +0200 wenzelm more scalable JVM memory management;
Thu, 24 May 2018 21:21:26 +0200 wenzelm tuned output;
Thu, 24 May 2018 21:13:09 +0200 wenzelm more general cache, also for term substructures;
Thu, 24 May 2018 16:56:14 +0200 wenzelm more exports;
Thu, 24 May 2018 17:06:39 +0200 immler generalized Cramer's rule
Thu, 24 May 2018 16:38:24 +0200 nipkow tuned
Thu, 24 May 2018 14:42:47 +0200 nipkow reorganization, everything based on Tree2 now
Thu, 24 May 2018 09:18:29 +0200 haftmann avoid overaggressive classical rule
Thu, 24 May 2018 07:59:41 +0200 nipkow By Andrei Popescu based on an initial version by Kasper F. Brandt
Wed, 23 May 2018 21:34:08 +0100 paulson merged
Wed, 23 May 2018 21:31:41 +0100 paulson small tidy-up of Complex_Transcendental
Tue, 22 May 2018 19:58:17 +0100 paulson merged
(0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 tip