# HG changeset patch
# User wenzelm
# Date 1441896121 -7200
# Node ID 13b2fd8016928cded2396432124843a39fb3235e
# Parent  9005aeb8125a4e038cdeaa751176b9a0161b5798
HOL-Proofs is slow;

diff -r 9005aeb8125a -r 13b2fd801692 src/HOL/ROOT
--- 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.
   *}