| Sun, 19 Oct 2014 12:07:03 +0200 | wenzelm | omit pointless nodes for proof commands etc.; | changeset | files |
| Sun, 19 Oct 2014 11:20:03 +0200 | wenzelm | tuned signature and modules; | changeset | files |
| Sat, 18 Oct 2014 22:50:35 +0200 | wenzelm | merged | changeset | files |