| Sat, 20 Dec 2008 11:55:34 +0100 | wenzelm | removed Ids; | file | diff | annotate |
| Sat, 28 Jun 2008 21:21:21 +0200 | wenzelm | allow overlap of minor keywords and commands; | file | diff | annotate |
| Mon, 08 Oct 2007 19:53:09 +0200 | wenzelm | tuned generated comment; | file | diff | annotate |
| Mon, 08 Oct 2007 18:13:04 +0200 | wenzelm | tuned generated comment; | file | diff | annotate |
| Sun, 07 Oct 2007 13:52:16 +0200 | wenzelm | tuned generated comment; | file | diff | annotate |
| Sun, 07 Oct 2007 13:32:16 +0200 | wenzelm | added target tool specification; | file | diff | annotate |
| Sat, 06 Oct 2007 21:25:58 +0200 | wenzelm | generate outer syntax keyword files from session logs; | file | diff | annotate |