# HG changeset patch # User wenzelm # Date 1214935859 -7200 # Node ID 510eed16fab56fd4563e934a30583ef6311ec88c # Parent f92d47cdc0de69d58e4101ed99c28ea2bc90b7db added HOL-Plain; diff -r f92d47cdc0de -r 510eed16fab5 Admin/isatest/isatest-stats --- 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 \