| Sun, 27 Mar 2022 19:27:54 +0000 | haftmann | structurally tuned | changeset | files |
| Sun, 27 Mar 2022 19:27:53 +0000 | haftmann | tuned names | changeset | files |
| Sun, 27 Mar 2022 19:27:52 +0000 | haftmann | prefer build combinator | changeset | files |
| Sun, 27 Mar 2022 19:27:50 +0000 | haftmann | tuned whitespace | changeset | files |
| Fri, 25 Mar 2022 17:21:39 +0100 | wenzelm | proper option argument; | changeset | files |
| Fri, 25 Mar 2022 17:20:12 +0100 | wenzelm | prefer Isabelle shasum over the old command-line tool with its extra marker character; | changeset | files |
| Fri, 25 Mar 2022 17:08:32 +0100 | wenzelm | tuned signature; | changeset | files |
| Fri, 25 Mar 2022 17:00:12 +0100 | wenzelm | tuned signature; | changeset | files |
| Fri, 25 Mar 2022 16:41:03 +0100 | wenzelm | tuned text, without update of component for now; | changeset | files |
| Fri, 25 Mar 2022 16:40:48 +0100 | wenzelm | omit somewhat pointless integrity check; | changeset | files |
| Fri, 25 Mar 2022 16:35:15 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 25 Mar 2022 13:52:23 +0100 | blanchet | compile TPTP module | changeset | files |
| Fri, 25 Mar 2022 13:52:23 +0100 | blanchet | compile mirabelle | changeset | files |
| Fri, 25 Mar 2022 13:52:23 +0100 | blanchet | further modernized E setup | changeset | files |