# HG changeset patch # User wenzelm # Date 1248899915 -7200 # Node ID f73d48f5218bd1c5523ba30f11b4c389a04da766 # Parent 756afe4a909a88b30e63a6a17424f1e430579a7c# Parent ff1e59a151465099979558c2ad6494c3a2c4e190 merged diff -r ff1e59a15146 -r f73d48f5218b Admin/isatest/isatest-stats --- a/Admin/isatest/isatest-stats Wed Jul 29 22:34:31 2009 +0200 +++ b/Admin/isatest/isatest-stats Wed Jul 29 22:38:35 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 \