moved HOL-Plain up;
authorwenzelm
Wed Jul 02 21:43:57 2008 +0200 (2008-07-02)
changeset 2744828914fe628c8
parent 27447 0761334cd591
child 27449 4880da911af0
moved HOL-Plain up;
Admin/isatest/isatest-stats
     1.1 --- a/Admin/isatest/isatest-stats	Wed Jul 02 20:31:06 2008 +0200
     1.2 +++ b/Admin/isatest/isatest-stats	Wed Jul 02 21:43:57 2008 +0200
     1.3 @@ -10,6 +10,7 @@
     1.4  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"
     1.5  
     1.6  ISABELLE_SESSIONS="\
     1.7 +  HOL-Plain \
     1.8    HOL \
     1.9    HOL-Algebra \
    1.10    HOL-Auth \
    1.11 @@ -25,7 +26,6 @@
    1.12    HOL-MicroJava \
    1.13    HOL-Nominal-Examples \
    1.14    HOL-NumberTheory \
    1.15 -  HOL-Plain \
    1.16    HOL-SET-Protocol \
    1.17    HOL-UNITY \
    1.18    HOL-ex \