# HG changeset patch # User wenzelm # Date 1215105472 -7200 # Node ID ac3b0f881d89584dc2aafb319561b2813bd2e4a3 # Parent c64736fe2a1f18312db3addcb02cbc52142d6783 more sessions; diff -r c64736fe2a1f -r ac3b0f881d89 Admin/isatest/isatest-stats --- a/Admin/isatest/isatest-stats Thu Jul 03 19:17:29 2008 +0200 +++ b/Admin/isatest/isatest-stats Thu Jul 03 19:17:52 2008 +0200 @@ -24,10 +24,12 @@ HOL-Library \ HOL-MetisExamples \ HOL-MicroJava \ + HOL-NSA \ HOL-Nominal-Examples \ HOL-NumberTheory \ HOL-SET-Protocol \ HOL-UNITY \ + HOL-Word \ HOL-ex \ ZF \ ZF-Constructible\