| Tue, 03 May 2011 21:07:24 +0200 | wenzelm | updated generated files; | file | diff | annotate |
| Sun, 01 May 2011 17:42:21 +0200 | wenzelm | simplified keyword markup (without formal checking); | file | diff | annotate |
| Sun, 01 May 2011 00:01:59 +0200 | wenzelm | use @{rail} antiquotation (with some nested markup); | file | diff | annotate |
| Tue, 19 Apr 2011 10:50:54 +0200 | wenzelm | updated some theory primitives, which now depend on auxiliary context; | file | diff | annotate |
| Mon, 08 Nov 2010 00:00:47 +0100 | wenzelm | updated generated files; | file | diff | annotate |
| Fri, 29 Oct 2010 11:49:56 +0200 | wenzelm | eliminated obsolete \_ escapes in rail environments; | file | diff | annotate |