| Thu, 02 Dec 2010 16:52:52 +0100 | wenzelm | configuration option "show_abbrevs" supersedes print mode "no_abbrevs", with inverted meaning; | file | diff | annotate |
| Mon, 29 Nov 2010 11:22:40 +0100 | wenzelm | added document antiquotation @{file}; | file | diff | annotate |
| Sun, 28 Nov 2010 21:07:28 +0100 | wenzelm | Parse.liberal_name for document antiquotations and attributes; | file | diff | annotate |
| Fri, 29 Oct 2010 11:49:56 +0200 | wenzelm | eliminated obsolete \_ escapes in rail environments; | file | diff | annotate |
| Fri, 24 Sep 2010 16:17:59 +0200 | wenzelm | clarified @{type} antiquotation: abbreviations and nonterminals count as "syntactic", disallow TFrees; | file | diff | annotate |
| Mon, 13 Sep 2010 14:53:56 +0200 | haftmann | 'class' and 'type' are now antiquoations by default | file | diff | annotate |
| Fri, 09 Oct 2009 10:00:47 +0200 | haftmann | term styles also cover antiquotations term_type and typeof | file | diff | annotate |