| Sat, 22 Sep 2012 21:59:40 +0200 | haftmann | cache should not contain material from descendant theory | changeset | files |
| Sat, 22 Sep 2012 21:23:16 +0200 | wenzelm | some PIDE NEWS from this summer; | changeset | files |
| Sat, 22 Sep 2012 20:38:42 +0200 | wenzelm | tuned whitespace; | changeset | files |
| Sat, 22 Sep 2012 20:37:47 +0200 | wenzelm | tuned; | changeset | files |
| 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 |