| Sun, 04 Mar 2012 19:03:28 +0100 | wenzelm | added Command.proper_range (still unused); | changeset | files |
| Sun, 04 Mar 2012 18:15:45 +0100 | wenzelm | clarified special eol treatment and moved to gfx_range -- enables error messages at end of input, e.g. "prop PROP"; | changeset | files |
| Sun, 04 Mar 2012 16:02:14 +0100 | wenzelm | clarified command span: include trailing whitespace/comments and thus reduce number of ignored spans with associated transactions and states (factor 2); | changeset | files |