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 |