| Tue, 17 Jul 2012 16:54:23 +0200 |
wenzelm |
tuned imports;
|
changeset |
files
|
| Tue, 17 Jul 2012 15:56:19 +0200 |
wenzelm |
basic setup for Isabelle build tool;
|
changeset |
files
|
| Tue, 17 Jul 2012 14:33:23 +0200 |
wenzelm |
more standard main method;
|
changeset |
files
|
| Tue, 17 Jul 2012 13:07:28 +0200 |
wenzelm |
avoid slightly odd share_common_data -- Poly/ML 5.5.x should manage low-memory situations (cf. f55e77f623ab);
|
changeset |
files
|
| Tue, 17 Jul 2012 10:39:39 +0200 |
bulwahn |
improved equality optimisation in Quickcheck
|
changeset |
files
|
| Mon, 16 Jul 2012 21:20:56 +0200 |
wenzelm |
more direct Sorts.has_instance;
|
changeset |
files
|
| Mon, 16 Jul 2012 15:57:21 +0200 |
wenzelm |
replaced quicksort by mergesort, which might be a bit more efficient for key operations like Ord_List.make, Sorts.minimize_sort;
|
changeset |
files
|
| Mon, 16 Jul 2012 15:55:21 +0200 |
wenzelm |
comment;
|
changeset |
files
|
| Mon, 16 Jul 2012 11:26:16 +0200 |
wenzelm |
added universal jdk-6u31.tar.gz component (post Isabelle2012);
|
changeset |
files
|
| Mon, 16 Jul 2012 11:12:06 +0200 |
wenzelm |
more components from Isabelle2011-1 and Isabelle2012;
|
changeset |
files
|
| Mon, 16 Jul 2012 08:44:29 +0200 |
bulwahn |
deactivate Find_Unused_Assms_Examples to see if isabelle test's failures is caused by this example file
|
changeset |
files
|
| Sun, 15 Jul 2012 22:58:52 +0200 |
wenzelm |
merged;
|
changeset |
files
|
| Sun, 15 Jul 2012 22:56:49 +0200 |
krauss |
updated versions
|
changeset |
files
|
| Sun, 15 Jul 2012 22:31:31 +0200 |
krauss |
added component integrity checks and some initial checksums
|
changeset |
files
|
| Sun, 15 Jul 2012 17:53:47 +0200 |
wenzelm |
prefer canonical fold_rev;
|
changeset |
files
|
| Sun, 15 Jul 2012 17:27:19 +0200 |
wenzelm |
back to naive insertion sort before 1997 to accommodate peculiar less_arg relation -- NB: make_ord arg_less was not a quasi-order and thus inappropriate for generic sort (cf. de74b549f976, ecfeff48bf0c);
|
changeset |
files
|