| Name | Description | Contact | Last modified | ||
| isabelle | The Isabelle repository | isabelle | Mon, 05 Jan 2026 09:00:27 +0100 | gz | |
| Old_HOL | Old Isabelle/HOL (removed from main repos in 1996) | unknown | Thu, 23 Jul 2009 16:03:20 +0100 | gz | |
| testboard | "Misc Mercurial repositories" | unknown | Fri, 25 Oct 2024 14:25:52 +0100 | gz |