# 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 \