| Sat, 30 Apr 2011 23:27:57 +0200 | wenzelm | updated Variable.focus; | changeset | files |
| Sat, 30 Apr 2011 23:20:50 +0200 | wenzelm | allow nested @{antiq} (nonterminal) and @@{antiq} terminal; | changeset | files |
| Sat, 30 Apr 2011 20:58:36 +0200 | wenzelm | tuned; | changeset | files |
| Sat, 30 Apr 2011 20:48:29 +0200 | wenzelm | more robust error handling (NB: Source.source requires total scanner or recover); | changeset | files |
| Sat, 30 Apr 2011 20:07:31 +0200 | wenzelm | removed old rail.ML; | changeset | files |
| Sat, 30 Apr 2011 19:50:39 +0200 | wenzelm | railroad diagrams in LaTeX as document antiquotation; | changeset | files |
| Sat, 30 Apr 2011 18:16:40 +0200 | wenzelm | more uniform variations of scan_string; | changeset | files |
| Thu, 28 Apr 2011 21:06:04 +0200 | wenzelm | literal facts `prop` may contain dummy patterns; | changeset | files |