src/HOL/ROOT
changeset 59810 e749a0f2f401
parent 59777 9ad96e97e72d
child 59871 e1a49ac9c537
child 59898 81c70bdbd908
     1.1 --- a/src/HOL/ROOT	Wed Mar 25 11:39:52 2015 +0100
     1.2 +++ b/src/HOL/ROOT	Wed Mar 25 13:31:47 2015 +0100
     1.3 @@ -824,7 +824,7 @@
     1.4    theories SPARK
     1.5  
     1.6  session "HOL-SPARK-Examples" in "SPARK/Examples" = "HOL-SPARK" +
     1.7 -  options [document = false]
     1.8 +  options [document = false, spark_prv = false]
     1.9    theories
    1.10      "Gcd/Greatest_Common_Divisor"
    1.11  
    1.12 @@ -877,7 +877,7 @@
    1.13      "RIPEMD-160/rmd/s_r.siv"
    1.14  
    1.15  session "HOL-SPARK-Manual" in "SPARK/Manual" = "HOL-SPARK" +
    1.16 -  options [show_question_marks = false]
    1.17 +  options [show_question_marks = false, spark_prv = false]
    1.18    theories
    1.19      Example_Verification
    1.20      VC_Principles