| Tue, 28 Oct 2014 16:44:58 +0100 | wenzelm | increase chances that HOL-Proofs image still works for polyml-5.3.0; | changeset | files |
| Tue, 28 Oct 2014 16:27:11 +0100 | wenzelm | tuned signature; | changeset | files |
| Tue, 28 Oct 2014 16:20:26 +0100 | wenzelm | proper selectMatch, e.g. relevant for S-click on gutter; | changeset | files |