# HG changeset patch
# User wenzelm
# Date 1370081017 -7200
# Node ID 1ce9feb47535de78f629dc71b3b4968938da2420
# Parent  c79a3e15779e2f4a85009380b58a10dae6e683d5
updated isatest stats;

diff -r c79a3e15779e -r 1ce9feb47535 Admin/isatest/isatest-stats
--- a/Admin/isatest/isatest-stats	Sat Jun 01 12:02:41 2013 +0200
+++ b/Admin/isatest/isatest-stats	Sat Jun 01 12:03:37 2013 +0200
@@ -38,7 +38,6 @@
   HOL-Matrix_LP
   HOL-Metis_Examples
   HOL-MicroJava
-  HOL-MicroJava-skip_proofs
   HOL-Mirabelle
   HOL-Mirabelle-ex
   HOL-Multivariate_Analysis
@@ -66,6 +65,7 @@
   HOL-SPARK
   HOL-SPARK-Examples
   HOL-SPARK-Manual
+  HOL-Spec_Check
   HOL-Statespace
   HOL-TLA
   HOL-TLA-Buffer
@@ -90,6 +90,7 @@
   IOA-NTP
   IOA-Storage
   IOA-ex
+  Pure
   ZF
   ZF-AC
   ZF-Coind
@@ -125,6 +126,7 @@
   Collections
   Compiling-Exceptions-Correctly
   Completeness
+  Containers
   CoreC++
   DPT-SAT-Solver
   DataRefinementIBP
@@ -152,6 +154,7 @@
   General-Triangle
   Girth_Chromatic
   GraphMarkingIBP
+  Graph_Theory
   Group-Ring-Module
   HRB-Slicing
   Heard_Of
@@ -159,8 +162,7 @@
   Huffman
   Impossible_Geometry
   Inductive_Confidentiality
-  InformationFlowSlicing_Inter
-  InformationFlowSlicing_Intra
+  InformationFlowSlicing
   Integration
   Jinja
   JinjaThreads
@@ -169,6 +171,7 @@
   Kleene_Algebra
   Lam-ml-Normalization
   LatticeProperties
+  Launchbury
   Lazy-Lists-II
   LightweightJava
   LinearQuantifierElim
@@ -185,6 +188,7 @@
   MuchAdoAboutTwo
   Myhill-Nerode
   Nat-Interval-Logic
+  Nominal2
   NormByEval
   Open_Induction
   Ordinal
@@ -207,6 +211,7 @@
   Recursion-Theory-I
   Refine_Monadic
   Regular-Sets
+  Ribbon_Proofs
   Robbins-Conjecture
   SATSolverVerification
   SIFPL
@@ -215,6 +220,7 @@
   Separation_Logic_Imperative_HOL
   SequentInvertibility
   Shivers-CFA
+  ShortestPath
   Simpl
   Slicing
   Sqrt_Babylonian