| Thu, 10 Apr 2008 17:01:38 +0200 | wenzelm | eliminated unused Toplevel.print3/three_buffers; | changeset | files |
| Thu, 10 Apr 2008 17:01:37 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 10 Apr 2008 16:15:53 +0200 | wenzelm | Isar.goal: tactical goal only; | changeset | files |