Name | Description | Contact | Last modified | ||
Old_HOL | Old Isabelle/HOL (removed from main repos in 1996) | unknown | Thu, 23 Jul 2009 16:03:20 +0100 | gz | |
isabelle | The Isabelle repository | isabelle | Thu, 28 Mar 2024 17:19:02 +0100 | gz | |
testboard | "Misc Mercurial repositories" | unknown | Thu, 28 Mar 2024 15:22:02 +0100 | gz |