| Fri, 24 Sep 2010 17:12:09 +0200 | wenzelm | tuned error_color; | changeset | files |
| Fri, 24 Sep 2010 17:09:07 +0200 | wenzelm | some attempts to improve visual appearance of bad text; | changeset | files |
| Fri, 24 Sep 2010 16:17:59 +0200 | wenzelm | clarified @{type} antiquotation: abbreviations and nonterminals count as "syntactic", disallow TFrees; | changeset | files |