| Thu, 09 Jul 2015 00:39:49 +0200 | wenzelm | clarified context; | changeset | files |
| Wed, 08 Jul 2015 21:33:00 +0200 | wenzelm | clarified context; | changeset | files |
| Wed, 08 Jul 2015 19:28:43 +0200 | wenzelm | Variable.focus etc.: optional bindings provided by user; | changeset | files |
| Wed, 08 Jul 2015 15:37:32 +0200 | wenzelm | clarified text folds: proof ... qed counts as extra block; | changeset | files |