| Tue, 03 Aug 2010 18:52:42 +0200 | wenzelm | modernized specifications; | file | diff | annotate |
| Sat, 10 Nov 2007 23:03:52 +0100 | wenzelm | tuned specifications of 'notation'; | file | diff | annotate |
| Wed, 03 Oct 2007 19:36:05 +0200 | wenzelm | modernized specifications; | file | diff | annotate |