| Sun, 31 May 2009 15:29:43 +0200 | wenzelm | test experimental Poly/ML 5.3; | changeset | files |
| Sun, 31 May 2009 15:27:19 +0200 | wenzelm | removed obsolete COPYDB flag; | changeset | files |
| Sun, 31 May 2009 15:07:03 +0200 | wenzelm | explicit PolyML.install_pp; | changeset | files |
| Sun, 31 May 2009 15:03:34 +0200 | wenzelm | renamed polyml_pp.ML to pp_polyml.ML; | changeset | files |
| Sun, 31 May 2009 14:51:21 +0200 | wenzelm | more modular setup of runtime compilation; | changeset | files |
| Sun, 31 May 2009 14:46:44 +0200 | wenzelm | more precise version information; | changeset | files |
| Sun, 31 May 2009 14:20:54 +0200 | wenzelm | uniform treatment of shellscript mode; | changeset | files |