| Fri, 01 Jun 2012 13:52:51 +0200 | Andreas Lochbihler | drop redundant sort constraint | changeset | files |
| 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 |