author | wenzelm |
Wed, 02 Jul 2008 21:43:57 +0200 | |
changeset 27448 | 28914fe628c8 |
parent 27447 | 0761334cd591 |
child 27449 | 4880da911af0 |
--- a/Admin/isatest/isatest-stats Wed Jul 02 20:31:06 2008 +0200 +++ b/Admin/isatest/isatest-stats Wed Jul 02 21:43:57 2008 +0200 @@ -10,6 +10,7 @@ PLATFORMS="at-poly at-sml-dev at64-poly at-poly-5.1-para-e at64-poly-5.1-para at-mac-poly-5.1-para afp" ISABELLE_SESSIONS="\ + HOL-Plain \ HOL \ HOL-Algebra \ HOL-Auth \ @@ -25,7 +26,6 @@ HOL-MicroJava \ HOL-Nominal-Examples \ HOL-NumberTheory \ - HOL-Plain \ HOL-SET-Protocol \ HOL-UNITY \ HOL-ex \