# HG changeset patch
# User wenzelm
# Date 1384254257 -3600
# Node ID 1a58413a8cc044d6d2e2c8795bc2663c5362ca79
# Parent  ec638de59da785ff31fe9db2f14089a2487fd81e
updated sessions;

diff -r ec638de59da7 -r 1a58413a8cc0 Admin/isatest/isatest-stats
--- 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