felix.git/source/StructGraph.hs, branch hotg Unnamed repository; edit this file 'description' to name the repository. https://git.adelon.net/felix.git/atom?h=hotg 2026-08-03T19:31:20+00:00 Remove the legacy prover request path 2026-08-03T19:31:20+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-03T19:31:20+00:00 urn:sha1:2e352efa3504067c920c369f0ba453c15240cb07 Check admitted modules sequentially 2026-07-28T08:43:05+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-07-28T08:43:05+00:00 urn:sha1:60b4b379d4532c5a688f2dbf1e05736c636059c5 Make structure registration transactional 2026-07-27T16:19:29+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-07-27T14:23:12+00:00 urn:sha1:4a65f1430fdf3e8d75c36b5d74e07deb07b17f9e Initial commit 2024-02-10T01:22:14+00:00 adelon 22380201+adelon@users.noreply.github.com 2024-02-10T01:22:14+00:00 urn:sha1:442d732696ad431b84f6e5c72b6ee785be4fd968