| Sun, 31 May 2009 14:15:07 +0200 | wenzelm | discontinued support for Poly/ML 4.x versions; | changeset | files |
| Sat, 30 May 2009 22:37:38 +0200 | wenzelm | ISABELLE_USEDIR_OPTIONS: proper word splitting of quoted options (via array variable and special expansion, cf. "$@"); | changeset | files |
| Sat, 30 May 2009 15:53:19 +0200 | wenzelm | eliminated old Attrib.add_attributes (and Attrib.syntax); | changeset | files |