| 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 |