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.
updated sessions;
authorwenzelm
Tue, 12 Nov 2013 12:04:17 +0100
changeset 54395 1a58413a8cc0
parent 54394 ec638de59da7
child 54396 8baee6b04a7c
updated sessions;
Admin/isatest/isatest-stats file | annotate | diff | comparison | revisions 
--- a/Admin/isatest/isatest-stats	Tue Nov 12 11:52:42 2013 +0100
+++ b/Admin/isatest/isatest-stats	Tue Nov 12 12:04:17 2013 +0100
@@ -14,11 +14,9 @@
   HOL-Auth
   HOL-BNF
   HOL-BNF-Examples
+  HOL-BNF-LFP
   HOL-BNF-Nitpick_Examples
-  HOL-BNF-LFP
   HOL-Bali
-  HOL-Boogie
-  HOL-Boogie-Examples
   HOL-Cardinals
   HOL-Cardinals-Base
   HOL-Codegenerator_Test
isabelle