changeset 27448 | 28914fe628c8 |
parent 27429 | 510eed16fab5 |
child 27478 | ac3b0f881d89 |
--- 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 \