| Tue, 16 Oct 2007 17:07:40 +0200 | wenzelm | updated; | changeset | files |
| Tue, 16 Oct 2007 17:06:21 +0200 | wenzelm | DeclareRobustCommand isascriptstyle (enables sub/superscripts within section headings etc.); | changeset | files |
| Tue, 16 Oct 2007 17:06:20 +0200 | wenzelm | tuned Const.the_abbreviation; | changeset | files |