proper Jinja-Slicing;

--- a/Admin/isatest/isatest-stats	Wed Jul 29 19:36:22 2009 +0200
+++ b/Admin/isatest/isatest-stats	Wed Jul 29 21:40:04 2009 +0200
@@ -39,6 +39,7 @@
 
 AFP_SESSIONS="\
   CoreC++ \
+  Jinja-Slicing \
   HOL-BytecodeLogicJmlTypes \
   HOL-DiskPaxos \
   HOL-Fermat3_4 \
@@ -54,7 +55,6 @@
   HOL-SATSolverVerification \
   HOL-SIFPL \
   HOL-SenSocialChoice \
-  HOL-Slicing \
   HOL-SumSquares \
   HOL-Topology \
   HOL-Valuation \