# HG changeset patch # User wenzelm # Date 1419280079 -3600 # Node ID 385e20f2aab4bab3593b580f26b2ad55022a6691 # Parent c0fa3b3bdabd621a7b614ac6aeeb60315c6fc4c8 more accurate selection of sessions; diff -r c0fa3b3bdabd -r 385e20f2aab4 Admin/isatest/isatest-stats --- a/Admin/isatest/isatest-stats Mon Dec 22 20:40:37 2014 +0100 +++ b/Admin/isatest/isatest-stats Mon Dec 22 21:27:59 2014 +0100 @@ -12,15 +12,10 @@ HOL HOL-Algebra HOL-Auth - HOL-BNF - HOL-BNF-Examples - HOL-BNF-LFP - HOL-BNF-Nitpick_Examples HOL-Bali HOL-Cardinals - HOL-Cardinals-Base HOL-Codegenerator_Test - HOL-Datatype_Benchmark + HOL-Datatype_Examples HOL-Decision_Procs HOL-Hahn_Banach HOL-Hoare @@ -44,6 +39,7 @@ HOL-NSA HOL-NSA-Examples HOL-NanoJava + HOL-Nitpick_Examples HOL-Nominal HOL-Nominal-Examples HOL-Number_Theory