| Mon, 16 Sep 2019 23:20:45 +0200 | wenzelm | clarified inversion of file name to theory name, notably for Windows; | changeset | files |
| Mon, 16 Sep 2019 21:42:22 +0200 | wenzelm | clarified import_name: observe directory notation more strictly; | changeset | files |
| Mon, 16 Sep 2019 21:30:30 +0200 | wenzelm | tuned signature; | changeset | files |