| 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 |
| Sun, 31 May 2009 14:16:32 +0200 | wenzelm | updated example settings; | changeset | files |
| Sun, 31 May 2009 14:15:07 +0200 | wenzelm | discontinued support for Poly/ML 4.x versions; | changeset | files |