| Name | Description | Contact | Last modified | ||
| isabelle | The Isabelle repository | isabelle | Fri, 25 Apr 2025 10:04:42 +0200 | gz | |
| Old_HOL | Old Isabelle/HOL (removed from main repos in 1996) | unknown | Thu, 23 Jul 2009 17:03:20 +0200 | gz | |
| testboard | "Misc Mercurial repositories" | unknown | Fri, 25 Oct 2024 15:25:52 +0200 | gz |