Tue, 04 Oct 2005 20:38:13 +0200 | wenzelm | Compatibility file for Poplog/PML (version 15.6/2.1). | changeset | files |
Tue, 04 Oct 2005 19:05:37 +0200 | wenzelm | Substring.all = Substring.full; | changeset | files |
Tue, 04 Oct 2005 19:01:37 +0200 | wenzelm | minor tweaks for Poplog/ML; | changeset | files |