| Thu, 03 Jun 2010 23:56:05 +0200 | wenzelm | do not open Proofterm, which is very ould style; | changeset | files |
| Thu, 03 Jun 2010 23:17:57 +0200 | wenzelm | eliminated ML structure alias; | changeset | files |
| Thu, 03 Jun 2010 22:54:33 +0200 | wenzelm | tuned default perspective; | changeset | files |