| Sat, 23 Jul 2011 16:37:17 +0200 |
wenzelm |
defer evaluation of Scan.message, for improved performance in the frequent situation where failure is handled later (e.g. via ||);
|
file |
diff |
annotate
|
| 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
|