| Wed, 26 Dec 2018 15:28:23 +0100 | wenzelm | unused -- document lacks {* ... *}; | file | diff | annotate |
| Sat, 02 Apr 2016 17:11:27 +0200 | blanchet | tuned LaTeX | file | diff | annotate |
| Sat, 02 Apr 2016 17:02:37 +0200 | blanchet | import package that might help on some machines (e.g., macbroy2) | file | diff | annotate |