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.
HOL-Proofs is slow;
authorwenzelm
Thu, 10 Sep 2015 16:42:01 +0200
changeset 61152 13b2fd801692
parent 61151 9005aeb8125a
child 61153 3d5e01b427cb
HOL-Proofs is slow;
src/HOL/ROOT file | annotate | diff | comparison | revisions 
--- a/src/HOL/ROOT	Thu Sep 10 14:18:09 2015 +0200
+++ b/src/HOL/ROOT	Thu Sep 10 16:42:01 2015 +0200
@@ -14,7 +14,7 @@
     "root.bib"
     "root.tex"
 
-session "HOL-Proofs" = Pure +
+session "HOL-Proofs" (slow) = Pure +
   description {*
     HOL-Main with explicit proof terms.
   *}
isabelle