| 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 |
| Fri, 17 Jun 2011 14:35:24 +0200 | wenzelm | merged | changeset | files |