| Thu, 08 May 2008 22:48:33 +0200 | wenzelm | removed obsolete math macros; | changeset | files |
| Thu, 08 May 2008 22:48:09 +0200 | wenzelm | depend on style.sty; | changeset | files |
| Thu, 08 May 2008 22:32:35 +0200 | wenzelm | updated generated file; | changeset | files |
| Thu, 08 May 2008 22:31:23 +0200 | wenzelm | depend on ../../antiquote_setup.ML; | changeset | files |