diff -r 87641097d0f3 -r e749a0f2f401 src/HOL/ROOT
--- a/src/HOL/ROOT	Wed Mar 25 11:39:52 2015 +0100
+++ b/src/HOL/ROOT	Wed Mar 25 13:31:47 2015 +0100
@@ -824,7 +824,7 @@
   theories SPARK
 
 session "HOL-SPARK-Examples" in "SPARK/Examples" = "HOL-SPARK" +
-  options [document = false]
+  options [document = false, spark_prv = false]
   theories
     "Gcd/Greatest_Common_Divisor"
 
@@ -877,7 +877,7 @@
     "RIPEMD-160/rmd/s_r.siv"
 
 session "HOL-SPARK-Manual" in "SPARK/Manual" = "HOL-SPARK" +
-  options [show_question_marks = false]
+  options [show_question_marks = false, spark_prv = false]
   theories
     Example_Verification
     VC_Principles