| Wed, 23 Mar 2022 17:24:09 +0100 | wenzelm | tuned message; | changeset | files |
| Wed, 23 Mar 2022 16:53:00 +0100 | wenzelm | more operations; | changeset | files |
| Wed, 23 Mar 2022 16:41:32 +0100 | wenzelm | tuned signature; | changeset | files |
| Wed, 23 Mar 2022 13:43:13 +0100 | wenzelm | more robust install/uninstall; | changeset | files |
| Wed, 23 Mar 2022 13:05:54 +0100 | wenzelm | more formal extension_manifest, with shasum for sources; | changeset | files |
| Wed, 23 Mar 2022 12:21:13 +0100 | wenzelm | tuned; | changeset | files |
| Wed, 23 Mar 2022 12:15:25 +0100 | wenzelm | tuned signature; | changeset | files |
| Wed, 23 Mar 2022 12:02:56 +0100 | wenzelm | clarified signature; | changeset | files |
| Wed, 23 Mar 2022 11:40:34 +0100 | wenzelm | proper usage; | changeset | files |
| Tue, 22 Mar 2022 20:25:52 +0100 | wenzelm | tuned -- follow sha1_digest in src/Tools/Setup/src/Build.java; | changeset | files |
| Tue, 22 Mar 2022 20:06:41 +0100 | wenzelm | tuned signature; | changeset | files |
| Tue, 22 Mar 2022 19:33:38 +0100 | wenzelm | clarified modules; | changeset | files |
| Tue, 22 Mar 2022 19:19:09 +0100 | wenzelm | tuned signature; | changeset | files |
| Wed, 23 Mar 2022 14:36:11 +0000 | paulson | ... and removing Primrec from ROOT too | changeset | files |
| Wed, 23 Mar 2022 14:22:56 +0000 | paulson | Removal of the Primrec example in preparation for making it an AFP entry | changeset | files |