| Sun, 11 Jan 2009 19:33:53 +0100 | wenzelm | failsafe mkdir; | changeset | files |
| Sun, 11 Jan 2009 19:32:26 +0100 | wenzelm | maintain Isabelle properties via object Isabelle.Property with apply/update methods; | changeset | files |
| Sun, 11 Jan 2009 17:35:56 +0100 | immler | created DynamicTokenMarker | changeset | files |