Sat, 12 Oct 2019 15:01:13 +0200 | wenzelm | more compact XML; | changeset | files |
Sat, 12 Oct 2019 13:43:17 +0200 | wenzelm | more compact XML: separate environment for free variables; | changeset | files |
Sat, 12 Oct 2019 12:25:16 +0200 | wenzelm | more compact XML; | changeset | files |