| Mon, 14 Dec 2009 16:35:00 +0100 | haftmann | avoid negative indices as argument ot drop | changeset | files |
| Mon, 14 Dec 2009 11:30:13 +0000 | paulson | Upgraded a warning to an error | changeset | files |
| Mon, 14 Dec 2009 11:01:04 +0100 | haftmann | merged | changeset | files |
| Mon, 14 Dec 2009 10:24:04 +0100 | haftmann | improved crude deriving_show inference | changeset | files |
| Mon, 14 Dec 2009 10:23:25 +0100 | haftmann | explicit name for function space | changeset | files |
| Mon, 14 Dec 2009 10:59:46 +0100 | blanchet | make Nitpick tests more robust by specifying SAT solver, singlethreading (in Kodkod, not in Isabelle), and higher time limits | changeset | files |
| Mon, 14 Dec 2009 10:31:35 +0100 | blanchet | make Nitpick "Core" test more conservative, to avoid problems on Larry's machine | changeset | files |
| Mon, 14 Dec 2009 10:13:06 +0100 | haftmann | made sml/nj happy | changeset | files |