| 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 |