--- a/Admin/isatest/isatest-stats Tue Jul 01 18:38:44 2008 +0200
+++ b/Admin/isatest/isatest-stats Tue Jul 01 20:10:59 2008 +0200
@@ -25,6 +25,7 @@
HOL-MicroJava \
HOL-Nominal-Examples \
HOL-NumberTheory \
+ HOL-Plain \
HOL-SET-Protocol \
HOL-UNITY \
HOL-ex \