| Mon, 12 May 2008 22:03:33 +0200 | wenzelm | misc tuning; | changeset | files |
| Sat, 10 May 2008 14:13:20 +0200 | wenzelm | updated generated file; | changeset | files |
| Sat, 10 May 2008 14:13:03 +0200 | wenzelm | fixed some labels; | changeset | files |
| Sat, 10 May 2008 13:26:25 +0200 | wenzelm | avoid old macros from isar.sty; | changeset | files |
| Sat, 10 May 2008 00:14:00 +0200 | wenzelm | misc reorganization; | changeset | files |
| Fri, 09 May 2008 23:35:57 +0200 | wenzelm | added chapters for "Specifications" and "Proofs"; | changeset | files |
| Fri, 09 May 2008 23:21:33 +0200 | wenzelm | removed outdated comment; | changeset | files |
| Fri, 09 May 2008 23:20:43 +0200 | wenzelm | updated generated file; | changeset | files |
| Fri, 09 May 2008 23:20:17 +0200 | wenzelm | proper antiquotations for commands; | changeset | files |
| Fri, 09 May 2008 23:19:49 +0200 | wenzelm | removed obsolete macros for Isar commands etc.; | changeset | files |
| Fri, 09 May 2008 23:19:20 +0200 | wenzelm | replaced macros by antiquotations; | changeset | files |
| Fri, 09 May 2008 23:18:52 +0200 | wenzelm | removed obsolete macros for Isar commands etc.; | changeset | files |
| Fri, 09 May 2008 12:44:31 +0200 | wenzelm | added local copy of underscore.sty; | changeset | files |
| Thu, 08 May 2008 23:07:15 +0200 | wenzelm | updated generated file; | changeset | files |