Name | Description | Contact | Last modified | ||
isabelle | The Isabelle repository | isabelle | Tue, 19 Mar 2024 00:43:55 +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 | Sun, 17 Mar 2024 14:39:14 +0100 | gz |