| Tue, 17 Jul 2012 16:56:29 +0200 | wenzelm | avoid Source.fromFile, which does not necessarily close its input; | changeset | files |
| 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 |