Admin/isatest-stats
changeset 20649 5079b9ee1ef5
parent 20632 40abbc7c86df
child 20683 3d07617c8bf3
equal deleted inserted replaced
20648:742c30fc3fcb 20649:5079b9ee1ef5
    22   HOL-NumberTheory \
    22   HOL-NumberTheory \
    23   HOL-SET-Protocol \
    23   HOL-SET-Protocol \
    24   HOL-UNITY \
    24   HOL-UNITY \
    25   HOL-ex \
    25   HOL-ex \
    26   ZF \
    26   ZF \
    27   ZF-Constructible"
    27   ZF-Constructible\
       
    28   ZF-UNITY"
    28 
    29 
    29 for PLATFORM in $PLATFORMS
    30 for PLATFORM in $PLATFORMS
    30 do
    31 do
    31   "$THIS/isatest-statistics" "stats/$PLATFORM" "$PLATFORM" 100 $SESSIONS
    32   "$THIS/isatest-statistics" "stats/$PLATFORM" "$PLATFORM" 100 $SESSIONS
    32   cat > "stats/$PLATFORM.html" <<EOF
    33   cat > "stats/$PLATFORM.html" <<EOF