Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
merged
authorwenzelm
Wed, 29 Jul 2009 22:38:35 +0200
changeset 32278 f73d48f5218b
parent 32276 756afe4a909a (diff)
parent 32277 ff1e59a15146 (current diff)
child 32279 e40563627419
child 32289 c14aeb0bcce4
merged
--- 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 \
isabelle