# HG changeset patch # User wenzelm # Date 1223487015 -7200 # Node ID 843b35caa8c431d41a63f7d3bfd53d95c58a7017 # Parent 7ff939586e8398a3ec52ec20a9f428c7c4c31f01 added HOL-Main; diff -r 7ff939586e83 -r 843b35caa8c4 Admin/isatest/isatest-stats --- a/Admin/isatest/isatest-stats Wed Oct 08 19:20:29 2008 +0200 +++ b/Admin/isatest/isatest-stats Wed Oct 08 19:30:15 2008 +0200 @@ -11,6 +11,7 @@ ISABELLE_SESSIONS="\ HOL-Plain \ + HOL-Main \ HOL \ HOL-Algebra \ HOL-Auth \