| Sat, 22 Sep 2012 20:29:28 +0200 | wenzelm | tuned proofs; | changeset | files |
| Sat, 22 Sep 2012 19:32:30 +0200 | wenzelm | report proper binding positions only -- avoid swamping document model with unspecific information; | changeset | files |
| Sat, 22 Sep 2012 19:23:04 +0200 | wenzelm | accumulate under exec_id as well; | changeset | files |
| Sat, 22 Sep 2012 19:16:48 +0200 | wenzelm | more restrictive pattern, to avoid malformed positions intruding the command range (cf. d7a1973b063c); | changeset | files |