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
Wed, 09 May 2018 23:31:11 +0100 paulson merged
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;
Thu, 10 May 2018 15:41:34 +0100 paulson more on infinite products
Wed, 09 May 2018 22:11:02 +0100 paulson part tidy-up of Determinants
Wed, 09 May 2018 15:07:20 +0100 paulson merged
Wed, 09 May 2018 15:04:30 +0200 wenzelm proper merge of items without term index (amending b969263fcf02);
Wed, 09 May 2018 14:07:19 +0100 paulson more infinite product theorems
Wed, 09 May 2018 07:48:54 +0200 nipkow announce sorted changes
Tue, 08 May 2018 21:03:06 +0100 paulson merged
Tue, 08 May 2018 21:26:10 +0200 nipkow merged
Tue, 08 May 2018 20:26:40 +0200 wenzelm merged
Tue, 08 May 2018 20:24:08 +0200 wenzelm command-line tool "isabelle export";
Tue, 08 May 2018 15:41:52 +0200 wenzelm more efficient query;
Tue, 08 May 2018 11:47:41 +0200 wenzelm more robust: self-export only;
Tue, 08 May 2018 11:36:33 +0200 wenzelm tuned signature;
Tue, 08 May 2018 21:02:56 +0100 paulson one tiny fix
Tue, 08 May 2018 19:00:17 +0100 paulson merged
Tue, 08 May 2018 10:32:31 +0100 paulson merged
Tue, 08 May 2018 10:32:07 +0100 paulson tidying more messy proofs
Tue, 08 May 2018 19:53:29 +0200 nipkow more efficient code
Tue, 08 May 2018 15:06:19 +0200 nipkow merged
(0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 tip