| Fri, 04 Jun 2010 14:15:56 +0200 | wenzelm | tuned warning; | changeset | files |
| Fri, 04 Jun 2010 11:31:33 +0200 | wenzelm | less ambitious settings; | changeset | files |
| Fri, 04 Jun 2010 11:30:46 +0200 | wenzelm | spelling; | changeset | files |
| 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 |
| Thu, 03 Jun 2010 22:45:49 +0200 | wenzelm | tracing in aliceblue; | changeset | files |
| Thu, 03 Jun 2010 22:31:59 +0200 | wenzelm | discontinued obsolete Isar.context() -- long superseded by @{context}; | changeset | files |