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 |