--- 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.
*}