Fri, 01 Jun 2012 13:39:14 +0200 | wenzelm | use \tocentry as in implementation manual; | changeset | files |
Fri, 01 Jun 2012 13:02:09 +0200 | wenzelm | tuned message; | changeset | files |
Fri, 01 Jun 2012 12:45:22 +0200 | wenzelm | tuned header; | changeset | files |