| Sat, 04 Sep 2010 00:31:21 +0200 | wenzelm | recovered options for goal antiquotations from f45d332a90e3: actually pass context to Proof.pretty_goals (see also 45facd8f358e); | changeset | files |
| Fri, 03 Sep 2010 23:54:48 +0200 | wenzelm | turned eta_contract into proper configuration option; | changeset | files |
| Fri, 03 Sep 2010 22:57:21 +0200 | wenzelm | turned show_structs into proper configuration option; | changeset | files |