Thu, 02 Sep 2010 23:26:21 +0200 | wenzelm | Isar_Document.reported_positions: more precise include/exclude, include root as last resort only; | changeset | files |
Thu, 02 Sep 2010 23:17:13 +0200 | wenzelm | Position.Range: exclude singularity (again); | changeset | files |
Thu, 02 Sep 2010 14:19:15 +0200 | wenzelm | merged | changeset | files |