Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/isatest/isatest-stats
changeset 33027 9cf389429f6d
parent 32633 4ba4bfa08749
child 33028 9aa8bfb1649d 
--- a/Admin/isatest/isatest-stats	Tue Oct 20 19:37:09 2009 +0200
+++ b/Admin/isatest/isatest-stats	Tue Oct 20 19:52:04 2009 +0200
@@ -21,7 +21,7 @@
   HOL-HoareParallel \
   HOL-Lambda \
   HOL-Library \
-  HOL-MetisExamples \
+  HOL-Metis_Examples \
   HOL-MicroJava \
   HOL-NSA \
   HOL-Nominal-Examples \
isabelle