| Fri, 06 Mar 2020 20:18:21 +0100 | wenzelm | support Java/VM monitoring via jconsole; | changeset | files |
| Wed, 04 Mar 2020 21:09:02 +0100 | wenzelm | escape some special chars, notably for URL#NAME form; | changeset | files |
| Tue, 03 Mar 2020 19:26:24 +0000 | haftmann | library theory for extractions of equations x = t into premises | changeset | files |
| Tue, 03 Mar 2020 19:26:23 +0000 | haftmann | tuned | changeset | files |
| Wed, 04 Mar 2020 15:38:02 +0100 | wenzelm | rebuild x86_64-linux on Ubuntu 14.04.6 LTS; | changeset | files |
| Tue, 03 Mar 2020 20:14:48 +0100 | wenzelm | merged | changeset | files |
| Tue, 03 Mar 2020 19:53:14 +0100 | wenzelm | include actions for jEdit dockables, e.g. "vfs.browser"; | changeset | files |