Wed, 06 Jun 2018 14:22:54 +0200 |
wenzelm |
isabelle update_comments;
|
changeset |
files
|
Wed, 06 Jun 2018 14:18:31 +0200 |
wenzelm |
tuned header;
|
changeset |
files
|
Wed, 06 Jun 2018 14:18:25 +0200 |
wenzelm |
updated for release;
|
changeset |
files
|
Wed, 06 Jun 2018 14:16:52 +0200 |
wenzelm |
updated for release;
|
changeset |
files
|
Wed, 06 Jun 2018 14:14:37 +0200 |
wenzelm |
misc tuning and updates for release;
|
changeset |
files
|
Wed, 06 Jun 2018 13:44:53 +0200 |
wenzelm |
updated for release;
|
changeset |
files
|
Wed, 06 Jun 2018 11:49:16 +0200 |
wenzelm |
updated for release;
|
changeset |
files
|
Wed, 06 Jun 2018 11:41:54 +0200 |
wenzelm |
eliminated suspicious Unicode;
|
changeset |
files
|
Wed, 06 Jun 2018 11:41:37 +0200 |
wenzelm |
proper white space;
|
changeset |
files
|
Wed, 06 Jun 2018 11:27:27 +0200 |
wenzelm |
updated to sqlite-jdbc-3.23.1;
|
changeset |
files
|
Wed, 06 Jun 2018 13:04:52 +0200 |
nipkow |
merged
|
changeset |
files
|
Wed, 06 Jun 2018 11:12:37 +0200 |
nipkow |
Keep filter input syntax
|
changeset |
files
|
Tue, 05 Jun 2018 23:26:15 +0200 |
wenzelm |
more parallelism to cope with 8h30 CPU time;
|
changeset |
files
|
Tue, 05 Jun 2018 21:29:54 +0200 |
wenzelm |
full benchmarks, including all conditional theories;
|
changeset |
files
|
Tue, 05 Jun 2018 18:08:13 +0200 |
wenzelm |
tuned proofs;
|
changeset |
files
|
Tue, 05 Jun 2018 16:35:52 +0200 |
wenzelm |
more robust;
|
changeset |
files
|
Tue, 05 Jun 2018 16:12:26 +0200 |
wenzelm |
less wasteful consolidation, based on PIDE front-end state and recent changes;
|
changeset |
files
|
Tue, 05 Jun 2018 14:15:49 +0200 |
wenzelm |
tuned -- short-circuit result;
|
changeset |
files
|
Tue, 05 Jun 2018 14:07:51 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
Tue, 05 Jun 2018 00:06:23 +0200 |
wenzelm |
updated URLs;
|
changeset |
files
|
Mon, 04 Jun 2018 23:54:26 +0200 |
wenzelm |
merged
|
changeset |
files
|
Mon, 04 Jun 2018 22:59:47 +0200 |
wenzelm |
more robust;
|
changeset |
files
|
Mon, 04 Jun 2018 22:04:45 +0200 |
wenzelm |
avoid hardwired cygwin mirror;
|
changeset |
files
|
Mon, 04 Jun 2018 21:57:38 +0200 |
wenzelm |
updated to current Cygwin, after 2.10.0-1 from 02-Feb-2018;
|
changeset |
files
|
Mon, 04 Jun 2018 21:03:10 +0100 |
paulson |
NEWS: infinite products
|
changeset |
files
|
Mon, 04 Jun 2018 21:00:21 +0100 |
paulson |
merged
|
changeset |
files
|
Mon, 04 Jun 2018 21:00:12 +0100 |
paulson |
more tweaks of Cauchy
|
changeset |
files
|
Mon, 04 Jun 2018 14:21:16 +0200 |
wenzelm |
clarified signature;
|
changeset |
files
|
Sun, 03 Jun 2018 23:30:53 +0200 |
wenzelm |
tuned proofs;
|
changeset |
files
|
Sun, 03 Jun 2018 22:18:27 +0200 |
wenzelm |
NEWS;
|
changeset |
files
|