| Mon, 16 Apr 2012 21:53:11 +0200 | wenzelm | updated and clarified OF/MRS; | file | diff | annotate |
| Sun, 15 Apr 2012 14:50:09 +0200 | wenzelm | some coverage of bundled declarations; | file | diff | annotate |
| Thu, 02 Feb 2012 17:52:16 +0100 | wenzelm | discontinued obscure history commands; | file | diff | annotate |