| Fri, 10 Aug 2012 13:33:07 +0200 | wenzelm | clarified undefined, unparsed, unfinished command spans; | changeset | files |
| Fri, 10 Aug 2012 13:15:00 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 10 Aug 2012 10:23:54 +0200 | wenzelm | discontinued mostly unused markup for command spans; | changeset | files |
| Fri, 10 Aug 2012 10:18:07 +0200 | wenzelm | more visible markup of malformed input as "bad"; | changeset | files |
| Fri, 10 Aug 2012 13:33:54 +0200 | blanchet | tuned proofs | changeset | files |
| Thu, 09 Aug 2012 22:31:04 +0200 | wenzelm | some attempts to keep malformed syntax errors focussed, without too much red spilled onto the document view; | changeset | files |