Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
adjusted to new Number Theory scenario
authorhaftmann
Mon, 21 Sep 2009 16:00:34 +0200
changeset 32633 4ba4bfa08749
parent 32632 8ae912371831
child 32634 9b19cbb0af28
adjusted to new Number Theory scenario
Admin/isatest/isatest-stats file | annotate | diff | comparison | revisions 
--- a/Admin/isatest/isatest-stats	Mon Sep 21 15:33:40 2009 +0200
+++ b/Admin/isatest/isatest-stats	Mon Sep 21 16:00:34 2009 +0200
@@ -24,9 +24,9 @@
   HOL-MetisExamples \
   HOL-MicroJava \
   HOL-NSA \
-  HOL-NewNumberTheory \
   HOL-Nominal-Examples \
-  HOL-NumberTheory \
+  HOL-Number_Theory \
+  HOL-Old_Number_Theory \
   HOL-SET-Protocol \
   HOL-UNITY \
   HOL-Word \
isabelle