| Sat, 19 Aug 2000 12:44:20 +0200 | wenzelm | tuned \isastyle; | file | diff | annotate |
| Mon, 14 Aug 2000 18:43:30 +0200 | wenzelm | some more refs; | file | diff | annotate |
| Thu, 29 Jun 2000 22:39:57 +0200 | wenzelm | tuned rail setup; | file | diff | annotate |
| Sun, 21 May 2000 14:33:46 +0200 | wenzelm | replaced {{ }} by { }; | file | diff | annotate |
| Mon, 08 May 2000 11:13:28 +0200 | wenzelm | improved indexing; | file | diff | annotate |
| Mon, 27 Mar 2000 21:13:23 +0200 | wenzelm | tuned; | file | diff | annotate |
| Mon, 27 Mar 2000 18:10:11 +0200 | wenzelm | rail token vs. terminal; | file | diff | annotate |