| 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 |