| Tue, 18 Feb 2014 16:34:02 +0100 | wenzelm | generic markup for embedded languages; | changeset | files |
| Tue, 18 Feb 2014 15:38:50 +0100 | wenzelm | clarified special eol treatment (amending 3d55ef732cd7): allow last line to be empty, which means stop == end for second-last line; | changeset | files |
| Tue, 18 Feb 2014 14:05:08 +0100 | wenzelm | more uniform/robust restriction of reported positions, e.g. relevant for "bad" markup due to unclosed comment in ML file; | changeset | files |