Tue, 15 May 2018 06:23:12 +0200 nipkow merged
Mon, 14 May 2018 20:27:39 +0200 nipkow cleaning up sorted
Mon, 14 May 2018 22:23:25 +0200 wenzelm merged
Mon, 14 May 2018 22:22:47 +0200 wenzelm support for dynamic document output while editing;
Mon, 14 May 2018 22:01:00 +0200 wenzelm adjust position according to offset of command/exec id;
Mon, 14 May 2018 16:00:10 +0200 wenzelm tuned signature (see Command.eval_state);
Mon, 14 May 2018 14:30:13 +0200 wenzelm export generated document.tex, unless explicit document=false;
Mon, 14 May 2018 11:29:22 +0200 wenzelm more general presentation hook, with document preparation as application;
Mon, 14 May 2018 10:58:14 +0200 wenzelm clarified signature: more explicit type "context" with full options;
Mon, 14 May 2018 10:22:45 +0200 wenzelm more explicit type Thy_Output.segment;
Mon, 14 May 2018 09:39:27 +0200 wenzelm clarified signature;
Mon, 14 May 2018 18:19:35 +0200 nipkow more sorted cleaning
Mon, 14 May 2018 15:37:26 +0200 nipkow cleaning up sorted
Sun, 13 May 2018 21:59:41 +0200 wenzelm merged
Sun, 13 May 2018 21:20:28 +0200 wenzelm more uniform types vs. consts;
Sun, 13 May 2018 20:24:33 +0200 wenzelm more concise information;
Sun, 13 May 2018 20:04:59 +0200 wenzelm export foundational theory content in Scala;
Sun, 13 May 2018 16:51:50 +0200 wenzelm clarified markup;
Sun, 13 May 2018 16:37:36 +0200 wenzelm tuned signature;
Sun, 13 May 2018 16:33:11 +0200 wenzelm tuned -- use XZ.Cache;
Sun, 13 May 2018 16:26:01 +0200 wenzelm clarified implicit compression;
Sun, 13 May 2018 16:05:29 +0200 wenzelm tuned -- use XZ.Cache;
Sun, 13 May 2018 15:55:30 +0200 wenzelm more exports;
Sun, 13 May 2018 15:05:31 +0200 wenzelm tuned;
Sun, 13 May 2018 15:05:21 +0200 wenzelm more operations;
Sun, 13 May 2018 14:40:40 +0200 nipkow tuned
Sun, 13 May 2018 14:32:48 +0200 nipkow tuned
Sun, 13 May 2018 13:43:34 +0200 nipkow mv lemma
Sun, 13 May 2018 13:15:50 +0200 nipkow removed unused lemma
Sun, 13 May 2018 13:07:09 +0200 nipkow tuned
Sat, 12 May 2018 22:20:46 +0200 haftmann removed some non-essential rules
Sat, 12 May 2018 17:53:12 +0200 nipkow added lemmas
Sat, 12 May 2018 11:24:11 +0200 Andreas Lochbihler new tool Code_Lazy
Fri, 11 May 2018 22:59:00 +0200 wenzelm some export of foundational theory content;
Fri, 11 May 2018 22:40:02 +0200 wenzelm support for general theory presentation;
Fri, 11 May 2018 20:35:29 +0200 wenzelm guard result exports via export_pattern -- avoid bombing client via huge blobs;
Fri, 11 May 2018 20:22:20 +0200 wenzelm tuned;
Fri, 11 May 2018 20:05:37 +0200 wenzelm clarified output: avoid costly operations on huge blobs;
Fri, 11 May 2018 19:59:05 +0200 wenzelm unused;
Fri, 11 May 2018 19:57:49 +0200 wenzelm more scalable -- avoid huge lines within stdout;
Fri, 11 May 2018 19:27:00 +0200 wenzelm slightly more ambitious parallelism (again);
Fri, 11 May 2018 19:03:33 +0200 wenzelm more scalable API;
Fri, 11 May 2018 17:27:30 +0200 wenzelm proper heading;
Fri, 11 May 2018 11:42:23 +0200 wenzelm removed unused Java FX modules (it will be unbundled from JDK eventually);
Thu, 10 May 2018 22:03:51 +0100 paulson tidied some messy proofs
Thu, 10 May 2018 18:17:55 +0200 nipkow merged
Thu, 10 May 2018 18:17:43 +0200 nipkow more lemmas
Thu, 10 May 2018 01:34:07 +0200 nipkow merged
Thu, 10 May 2018 01:33:47 +0200 nipkow simpler types
Thu, 10 May 2018 15:59:39 +0100 paulson auto-tidying
Thu, 10 May 2018 15:41:45 +0100 paulson merged
Thu, 10 May 2018 15:41:34 +0100 paulson more on infinite products
Wed, 09 May 2018 23:31:11 +0100 paulson merged
Wed, 09 May 2018 22:11:02 +0100 paulson part tidy-up of Determinants
Wed, 09 May 2018 22:25:24 +0200 wenzelm less ambitious parallelism, notably for threads=2;
Wed, 09 May 2018 22:04:09 +0200 wenzelm more informative error, notably for missing executable;
Wed, 09 May 2018 22:03:02 +0200 wenzelm tuned signature;
Wed, 09 May 2018 20:45:57 +0200 wenzelm clarified future scheduling parameters, with support for parallel_limit;
Wed, 09 May 2018 19:53:37 +0200 wenzelm record total number of tasks;
Wed, 09 May 2018 15:07:20 +0100 paulson merged
(0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 tip