| 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 |
| Sat, 22 Sep 2012 17:55:56 +0200 | wenzelm | misc tuning; | changeset | files |
| Sat, 22 Sep 2012 14:41:41 +0200 | wenzelm | Thy_Syntax.consolidate_spans is subject to editor_reparse_limit, for improved experience of unbalanced comments etc.; | changeset | files |
| Sat, 22 Sep 2012 14:03:01 +0200 | wenzelm | tuned signature; | changeset | files |
| Fri, 21 Sep 2012 22:45:14 +0200 | wenzelm | tuned proofs; | changeset | files |
| Fri, 21 Sep 2012 21:24:48 +0200 | wenzelm | misc tuning; | changeset | files |