Mon, 27 Jun 2011 22:20:49 +0200 | wenzelm | document antiquotations are managed as theory data, with proper name space and entity markup; | file | diff | annotate |
Tue, 03 May 2011 20:59:24 +0200 | wenzelm | proper treatment of empty name -- avoid excessive vertical space; | file | diff | annotate |
Tue, 03 May 2011 17:31:16 +0200 | wenzelm | more precise source position for @{rail}; | file | diff | annotate |
Sun, 01 May 2011 17:41:49 +0200 | wenzelm | treat @ as separate keyword; | file | diff | annotate |
Sat, 30 Apr 2011 23:20:50 +0200 | wenzelm | allow nested @{antiq} (nonterminal) and @@{antiq} terminal; | file | diff | annotate |
Sat, 30 Apr 2011 20:58:36 +0200 | wenzelm | tuned; | file | diff | annotate |
Sat, 30 Apr 2011 20:48:29 +0200 | wenzelm | more robust error handling (NB: Source.source requires total scanner or recover); | file | diff | annotate |
Sat, 30 Apr 2011 19:50:39 +0200 | wenzelm | railroad diagrams in LaTeX as document antiquotation; | file | diff | annotate |