| Fri, 01 Mar 2019 17:00:55 +0100 | wenzelm | more implicit reload, similar to VSCode; | changeset | files |
| Fri, 01 Mar 2019 16:49:41 +0100 | wenzelm | clarified signature; | changeset | files |
| Thu, 28 Feb 2019 21:59:58 +0100 | wenzelm | tuned proofs -- eliminated odd case_tac; | changeset | files |