Sun, 31 May 2009 16:29:39 +0200 | wenzelm | explicit PolyML qualification; | changeset | files |
Sun, 31 May 2009 15:49:35 +0200 | wenzelm | removed "compress" option from isabelle-process and isabelle usedir -- this is always enabled; | changeset | files |
Sun, 31 May 2009 15:29:43 +0200 | wenzelm | test experimental Poly/ML 5.3; | changeset | files |