| Mon, 31 Mar 2025 16:53:14 +0200 | blanchet | garbage collection | changeset | files |
| Mon, 31 Mar 2025 10:15:48 +0200 | desharna | removed old Vampire configuration from Sledgehammer | changeset | files |
| Mon, 31 Mar 2025 09:50:28 +0200 | desharna | removed old E configuration from Sledgehammer | changeset | files |
| Mon, 31 Mar 2025 09:30:44 +0200 | desharna | removed unused function | changeset | files |
| Sun, 30 Mar 2025 13:50:06 +0200 | haftmann | tuned namespace organisation | changeset | files |
| Sun, 30 Mar 2025 13:50:06 +0200 | haftmann | optional external files as code modules | changeset | files |
| Sun, 30 Mar 2025 11:21:34 +0200 | haftmann | proper markup for target language code | changeset | files |
| Sun, 30 Mar 2025 11:21:32 +0200 | haftmann | tuned | changeset | files |
| Fri, 28 Mar 2025 14:13:40 +0100 | haftmann | tuned | changeset | files |
| Fri, 28 Mar 2025 14:13:38 +0100 | haftmann | tuned | changeset | files |
| Fri, 28 Mar 2025 14:13:37 +0100 | haftmann | tuned | changeset | files |
| Fri, 28 Mar 2025 14:13:36 +0100 | haftmann | spelling | changeset | files |
| Fri, 28 Mar 2025 16:37:58 +0100 | desharna | tuned | changeset | files |
| Fri, 28 Mar 2025 16:20:48 +0100 | desharna | removed debug commands | changeset | files |
| Fri, 28 Mar 2025 16:17:39 +0100 | desharna | merged | changeset | files |