| Mon, 09 Mar 2020 15:38:52 +0100 | wenzelm | more thorough strip_shyps for proof boxes (but types are usually stripped and reconstructed later); | changeset | files |
| Mon, 09 Mar 2020 14:30:09 +0100 | wenzelm | clarified; | changeset | files |
| Mon, 09 Mar 2020 14:13:44 +0100 | wenzelm | tuned signature; | changeset | files |
| Mon, 09 Mar 2020 13:03:42 +0100 | wenzelm | tuned signature; | changeset | files |
| Mon, 09 Mar 2020 11:52:28 +0100 | wenzelm | tuned signature; | changeset | files |
| Sat, 07 Mar 2020 12:19:41 +0100 | wenzelm | tuned; | changeset | files |
| Sat, 07 Mar 2020 12:15:15 +0100 | wenzelm | copy jEdit sources instead of jar, for better browsing experience; | changeset | files |
| Sat, 07 Mar 2020 12:14:51 +0100 | wenzelm | proper option; | changeset | files |