| Sat, 18 Jun 2011 12:13:42 +0200 | wenzelm | tuned markup; | changeset | files |
| Sat, 18 Jun 2011 11:45:07 +0200 | wenzelm | more uniform treatment of "keyword" vs. "operator"; | changeset | files |
| Sat, 18 Jun 2011 11:22:03 +0200 | wenzelm | simplified Line_Context (again); | changeset | files |
| Sat, 18 Jun 2011 00:05:29 +0200 | wenzelm | more robust treatment of partial range restriction; | changeset | files |
| Sat, 18 Jun 2011 00:03:58 +0200 | wenzelm | select_markup: no filtering here -- results may be distorted anyway; | changeset | files |
| Fri, 17 Jun 2011 23:20:34 +0200 | wenzelm | more explicit treatment of ranges after revert/convert, which may well distort the overall start/end positions; | changeset | files |
| Fri, 17 Jun 2011 23:18:22 +0200 | wenzelm | more explicit error message; | changeset | files |