Fri, 11 May 2018 20:05:37 +0200 clarified output: avoid costly operations on huge blobs;
wenzelm [Fri, 11 May 2018 20:05:37 +0200] rev 68150
clarified output: avoid costly operations on huge blobs;
Fri, 11 May 2018 19:59:05 +0200 unused;
wenzelm [Fri, 11 May 2018 19:59:05 +0200] rev 68149
unused;
Fri, 11 May 2018 19:57:49 +0200 more scalable -- avoid huge lines within stdout;
wenzelm [Fri, 11 May 2018 19:57:49 +0200] rev 68148
more scalable -- avoid huge lines within stdout;
Fri, 11 May 2018 19:27:00 +0200 slightly more ambitious parallelism (again);
wenzelm [Fri, 11 May 2018 19:27:00 +0200] rev 68147
slightly more ambitious parallelism (again);
Fri, 11 May 2018 19:03:33 +0200 more scalable API;
wenzelm [Fri, 11 May 2018 19:03:33 +0200] rev 68146
more scalable API;
Fri, 11 May 2018 17:27:30 +0200 proper heading;
wenzelm [Fri, 11 May 2018 17:27:30 +0200] rev 68145
proper heading;
Fri, 11 May 2018 11:42:23 +0200 removed unused Java FX modules (it will be unbundled from JDK eventually);
wenzelm [Fri, 11 May 2018 11:42:23 +0200] rev 68144
removed unused Java FX modules (it will be unbundled from JDK eventually);
Thu, 10 May 2018 22:03:51 +0100 tidied some messy proofs
paulson <lp15@cam.ac.uk> [Thu, 10 May 2018 22:03:51 +0100] rev 68143
tidied some messy proofs
Thu, 10 May 2018 18:17:55 +0200 merged
nipkow [Thu, 10 May 2018 18:17:55 +0200] rev 68142
merged
Thu, 10 May 2018 18:17:43 +0200 more lemmas
nipkow [Thu, 10 May 2018 18:17:43 +0200] rev 68141
more lemmas
Thu, 10 May 2018 01:34:07 +0200 merged
nipkow [Thu, 10 May 2018 01:34:07 +0200] rev 68140
merged
Thu, 10 May 2018 01:33:47 +0200 simpler types
nipkow [Thu, 10 May 2018 01:33:47 +0200] rev 68139
simpler types
Thu, 10 May 2018 15:59:39 +0100 auto-tidying
paulson <lp15@cam.ac.uk> [Thu, 10 May 2018 15:59:39 +0100] rev 68138
auto-tidying
Thu, 10 May 2018 15:41:45 +0100 merged
paulson [Thu, 10 May 2018 15:41:45 +0100] rev 68137
merged
Thu, 10 May 2018 15:41:34 +0100 more on infinite products
paulson <lp15@cam.ac.uk> [Thu, 10 May 2018 15:41:34 +0100] rev 68136
more on infinite products
Wed, 09 May 2018 23:31:11 +0100 merged
paulson [Wed, 09 May 2018 23:31:11 +0100] rev 68135
merged
Wed, 09 May 2018 22:11:02 +0100 part tidy-up of Determinants
paulson <lp15@cam.ac.uk> [Wed, 09 May 2018 22:11:02 +0100] rev 68134
part tidy-up of Determinants
Wed, 09 May 2018 22:25:24 +0200 less ambitious parallelism, notably for threads=2;
wenzelm [Wed, 09 May 2018 22:25:24 +0200] rev 68133
less ambitious parallelism, notably for threads=2;
Wed, 09 May 2018 22:04:09 +0200 more informative error, notably for missing executable;
wenzelm [Wed, 09 May 2018 22:04:09 +0200] rev 68132
more informative error, notably for missing executable;
Wed, 09 May 2018 22:03:02 +0200 tuned signature;
wenzelm [Wed, 09 May 2018 22:03:02 +0200] rev 68131
tuned signature;
Wed, 09 May 2018 20:45:57 +0200 clarified future scheduling parameters, with support for parallel_limit;
wenzelm [Wed, 09 May 2018 20:45:57 +0200] rev 68130
clarified future scheduling parameters, with support for parallel_limit;
Wed, 09 May 2018 19:53:37 +0200 record total number of tasks;
wenzelm [Wed, 09 May 2018 19:53:37 +0200] rev 68129
record total number of tasks;
Wed, 09 May 2018 15:07:20 +0100 merged
paulson [Wed, 09 May 2018 15:07:20 +0100] rev 68128
merged
Wed, 09 May 2018 14:07:19 +0100 more infinite product theorems
paulson <lp15@cam.ac.uk> [Wed, 09 May 2018 14:07:19 +0100] rev 68127
more infinite product theorems
Wed, 09 May 2018 15:04:30 +0200 proper merge of items without term index (amending b969263fcf02);
wenzelm [Wed, 09 May 2018 15:04:30 +0200] rev 68126
proper merge of items without term index (amending b969263fcf02);
Wed, 09 May 2018 07:48:54 +0200 announce sorted changes
nipkow [Wed, 09 May 2018 07:48:54 +0200] rev 68125
announce sorted changes
Tue, 08 May 2018 21:03:06 +0100 merged
paulson [Tue, 08 May 2018 21:03:06 +0100] rev 68124
merged
Tue, 08 May 2018 21:02:56 +0100 one tiny fix
paulson <lp15@cam.ac.uk> [Tue, 08 May 2018 21:02:56 +0100] rev 68123
one tiny fix
Tue, 08 May 2018 19:00:17 +0100 merged
paulson [Tue, 08 May 2018 19:00:17 +0100] rev 68122
merged
Tue, 08 May 2018 10:32:31 +0100 merged
paulson [Tue, 08 May 2018 10:32:31 +0100] rev 68121
merged
Tue, 08 May 2018 10:32:07 +0100 tidying more messy proofs
paulson <lp15@cam.ac.uk> [Tue, 08 May 2018 10:32:07 +0100] rev 68120
tidying more messy proofs
Tue, 08 May 2018 21:26:10 +0200 merged
nipkow [Tue, 08 May 2018 21:26:10 +0200] rev 68119
merged
Tue, 08 May 2018 19:53:29 +0200 more efficient code
nipkow [Tue, 08 May 2018 19:53:29 +0200] rev 68118
more efficient code
Tue, 08 May 2018 20:26:40 +0200 merged
wenzelm [Tue, 08 May 2018 20:26:40 +0200] rev 68117
merged
Tue, 08 May 2018 20:24:08 +0200 command-line tool "isabelle export";
wenzelm [Tue, 08 May 2018 20:24:08 +0200] rev 68116
command-line tool "isabelle export"; more documentation; tuned;
Tue, 08 May 2018 15:41:52 +0200 more efficient query;
wenzelm [Tue, 08 May 2018 15:41:52 +0200] rev 68115
more efficient query;
Tue, 08 May 2018 11:47:41 +0200 more robust: self-export only;
wenzelm [Tue, 08 May 2018 11:47:41 +0200] rev 68114
more robust: self-export only;
Tue, 08 May 2018 11:36:33 +0200 tuned signature;
wenzelm [Tue, 08 May 2018 11:36:33 +0200] rev 68113
tuned signature;
Tue, 08 May 2018 15:06:19 +0200 merged
nipkow [Tue, 08 May 2018 15:06:19 +0200] rev 68112
merged
Tue, 08 May 2018 12:16:10 +0200 more "sorted" changes
nipkow [Tue, 08 May 2018 12:16:10 +0200] rev 68111
more "sorted" changes
Tue, 08 May 2018 10:22:58 +0200 more "sorted" changes
nipkow [Tue, 08 May 2018 10:22:58 +0200] rev 68110
more "sorted" changes
Tue, 08 May 2018 10:14:36 +0200 new def of sorted and sorted_wrt
nipkow [Tue, 08 May 2018 10:14:36 +0200] rev 68109
new def of sorted and sorted_wrt
Mon, 07 May 2018 23:08:22 +0200 more operations;
wenzelm [Mon, 07 May 2018 23:08:22 +0200] rev 68108
more operations;
Mon, 07 May 2018 22:48:24 +0200 merged
wenzelm [Mon, 07 May 2018 22:48:24 +0200] rev 68107
merged
Mon, 07 May 2018 19:40:55 +0200 return exports as result for Isabelle server;
wenzelm [Mon, 07 May 2018 19:40:55 +0200] rev 68106
return exports as result for Isabelle server;
Mon, 07 May 2018 18:25:26 +0200 more checks;
wenzelm [Mon, 07 May 2018 18:25:26 +0200] rev 68105
more checks;
Mon, 07 May 2018 17:40:03 +0200 tuned;
wenzelm [Mon, 07 May 2018 17:40:03 +0200] rev 68104
tuned;
Mon, 07 May 2018 17:37:03 +0200 more robust (synchronous) management of Export.Entry: Future.fork happens inside the data structure;
wenzelm [Mon, 07 May 2018 17:37:03 +0200] rev 68103
more robust (synchronous) management of Export.Entry: Future.fork happens inside the data structure; tuned;
Mon, 07 May 2018 17:20:39 +0200 clarified signature;
wenzelm [Mon, 07 May 2018 17:20:39 +0200] rev 68102
clarified signature; avoid pointless compression;
Mon, 07 May 2018 17:11:01 +0200 store exports within PIDE command state;
wenzelm [Mon, 07 May 2018 17:11:01 +0200] rev 68101
store exports within PIDE command state; Markup.Export.unapply: proper NAME;
Sun, 06 May 2018 18:20:25 +0000 removed some lemma duplicates
haftmann [Sun, 06 May 2018 18:20:25 +0000] rev 68100
removed some lemma duplicates
Sun, 06 May 2018 18:20:25 +0000 typo
haftmann [Sun, 06 May 2018 18:20:25 +0000] rev 68099
typo
Sun, 06 May 2018 18:20:25 +0000 more appropriate notion of emptiness
haftmann [Sun, 06 May 2018 18:20:25 +0000] rev 68098
more appropriate notion of emptiness
Sun, 06 May 2018 23:59:14 +0100 merged
paulson [Sun, 06 May 2018 23:59:14 +0100] rev 68097
merged
Sun, 06 May 2018 23:59:01 +0100 more tidying
paulson <lp15@cam.ac.uk> [Sun, 06 May 2018 23:59:01 +0100] rev 68096
more tidying
Sun, 06 May 2018 11:33:40 +0100 starting to tidy up Interval_Integral.thy
paulson <lp15@cam.ac.uk> [Sun, 06 May 2018 11:33:40 +0100] rev 68095
starting to tidy up Interval_Integral.thy
(0) -30000 -10000 -3000 -1000 -300 -100 -56 +56 +100 +300 +1000 +3000 +10000 tip