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.
added ZF-UNITY;
authorwenzelm
Wed, 20 Sep 2006 21:02:29 +0200
changeset 20649 5079b9ee1ef5
parent 20648 742c30fc3fcb
child 20650 8188d7605c5b
added ZF-UNITY;
Admin/isatest-stats file | annotate | diff | comparison | revisions 
--- a/Admin/isatest-stats	Wed Sep 20 15:11:46 2006 +0200
+++ b/Admin/isatest-stats	Wed Sep 20 21:02:29 2006 +0200
@@ -24,7 +24,8 @@
   HOL-UNITY \
   HOL-ex \
   ZF \
-  ZF-Constructible"
+  ZF-Constructible\
+  ZF-UNITY"
 
 for PLATFORM in $PLATFORMS
 do
isabelle