| Mon, 10 Jun 2024 16:37:16 +0200 | Fabian Huch | clarified; | changeset | files |
| Mon, 10 Jun 2024 16:14:44 +0200 | Fabian Huch | proper web server address; | changeset | files |
| Mon, 10 Jun 2024 16:02:53 +0200 | Fabian Huch | clarified names: more canonical; | changeset | files |
| Mon, 10 Jun 2024 15:13:21 +0200 | Fabian Huch | clarified; | changeset | files |
| Mon, 10 Jun 2024 14:08:15 +0200 | Fabian Huch | remove unused; | changeset | files |
| Mon, 10 Jun 2024 14:03:19 +0200 | Fabian Huch | tuned; | changeset | files |
| Tue, 11 Jun 2024 08:02:13 +0200 | desharna | fixed NEWS | changeset | files |
| Mon, 10 Jun 2024 23:24:33 +0200 | wenzelm | merged | changeset | files |
| Mon, 10 Jun 2024 20:23:42 +0200 | wenzelm | tuned signature: more exports; | changeset | files |
| Mon, 10 Jun 2024 14:53:54 +0200 | wenzelm | clarified signature: prefer internal Thm_Name.T over external Facts.ref; | changeset | files |
| Mon, 10 Jun 2024 14:29:33 +0200 | wenzelm | more robust / permissive; | changeset | files |
| Mon, 10 Jun 2024 14:05:39 +0200 | wenzelm | clarified signature: more operations; | changeset | files |