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.
adapted to reflect renaming of session
authorblanchet
Tue, 24 Sep 2013 11:57:43 +0200
changeset 53818 d534f36f9a4f
parent 53817 d57292e4c478
child 53819 e55d641d0a70
adapted to reflect renaming of session
Admin/isatest/isatest-stats file | annotate | diff | comparison | revisions 
--- a/Admin/isatest/isatest-stats	Tue Sep 24 11:33:56 2013 +0200
+++ b/Admin/isatest/isatest-stats	Tue Sep 24 11:57:43 2013 +0200
@@ -14,6 +14,7 @@
   HOL-Auth
   HOL-BNF
   HOL-BNF-Examples
+  HOL-BNF-Nitpick_Examples
   HOL-BNF-LFP
   HOL-Bali
   HOL-Boogie
@@ -45,7 +46,6 @@
   HOL-NSA
   HOL-NSA-Examples
   HOL-NanoJava
-  HOL-Nitpick_Examples
   HOL-Nominal
   HOL-Nominal-Examples
   HOL-Number_Theory
isabelle