| Thu, 08 May 2008 22:49:05 +0200 | wenzelm | removed obsolete macros; | changeset | files |
| 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 |
| Thu, 08 May 2008 22:20:33 +0200 | wenzelm | improved treatment of "_" thanks to underscore.sty; | changeset | files |
| Thu, 08 May 2008 22:17:37 +0200 | wenzelm | clean_string: map "_" to "\\_" (best used with underscore.sty); | changeset | files |