| Fri, 12 Sep 2014 17:51:31 +0200 | blanchet | enabled 'Sudoku' only with 'ISABELLE_FULL_TEST' -- Sudoku is fast enough on modern hardware (within seconds on my MacBook), but it seems to fail on older test machines | changeset | files |
| Fri, 12 Sep 2014 17:30:05 +0200 | blanchet | new datatype is too slow on the huge datatypes (at least the mutual ones) -- use 'old_datatype' instead | changeset | files |
| Fri, 12 Sep 2014 16:42:36 +0200 | blanchet | run larger nominal examples only 'ISABELLE_FULL_TEST' | changeset | files |