# HG changeset patch
# User wenzelm
# Date 1248896404 -7200
# Node ID 756afe4a909a88b30e63a6a17424f1e430579a7c
# Parent  b10cbf4d3f55239ee80c5bef7123a628cd393300
proper Jinja-Slicing;

diff -r b10cbf4d3f55 -r 756afe4a909a Admin/isatest/isatest-stats
--- 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 \