Name Description Contact Last change    
isabelle The Isabelle repository isabelle 19 hours ago
isabelle-release Isabelle release branch unknown 2012-05-23
website Isabelle website unknown 2012-05-24
AFP Clone of the AFP development repository unknown 2015-08-23
haskabelle Importer from Haskell to Isabelle/HOL unknown 2015-05-18
Old_HOL Old Isabelle/HOL (removed from main repos in 1996) unknown 2009-07-23
mira A regression and integration test and report tool (based on mercurial) unknown 2012-12-20
hol-light Mirror of the HOL Light repository isabelle 2012-04-17
testboard "Misc Mercurial repositories" unknown 35 hours ago