| Mon, 10 Jun 2024 18:45:12 +0200 | Fabian Huch | add build log format for managed builds; | changeset | files |
| Mon, 10 Jun 2024 17:08:47 +0200 | Fabian Huch | improve build manager log (for build_log); | changeset | files |
| 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 |
| Mon, 10 Jun 2024 14:04:52 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 10 Jun 2024 12:44:49 +0200 | wenzelm | clarified operations, following pretty_thm_name; | changeset | files |
| Mon, 10 Jun 2024 12:07:54 +0200 | wenzelm | more accurate treatment of Thm_Name.T; | changeset | files |
| Mon, 10 Jun 2024 21:32:24 +0200 | desharna | renamed lemmas | changeset | files |
| Mon, 10 Jun 2024 18:10:09 +0200 | desharna | merged | changeset | files |
| Mon, 10 Jun 2024 14:09:55 +0200 | desharna | renamed theorems | changeset | files |
| Mon, 10 Jun 2024 13:44:46 +0200 | desharna | renamed theorems | changeset | files |
| Mon, 10 Jun 2024 13:55:59 +0200 | Fabian Huch | add title; | changeset | files |
| Mon, 10 Jun 2024 13:45:12 +0200 | Fabian Huch | use build_cluster in ci builds; | changeset | files |
| Mon, 10 Jun 2024 13:39:09 +0200 | desharna | merged | changeset | files |
| Mon, 10 Jun 2024 08:34:09 +0200 | desharna | tuned alias names in formulas | changeset | files |
| Mon, 10 Jun 2024 08:25:55 +0200 | desharna | renamed theorems | changeset | files |
| Fri, 07 Jun 2024 19:14:36 +0200 | Fabian Huch | add favicon to web app; | changeset | files |
| Sun, 09 Jun 2024 22:40:13 +0200 | wenzelm | merged | changeset | files |
| Sun, 09 Jun 2024 21:16:38 +0200 | wenzelm | clarified data representation: prefer explicit type Thm_Name; | changeset | files |
| Sun, 09 Jun 2024 21:15:27 +0200 | wenzelm | more operations, following Isabelle/ML; | changeset | files |