changeset 48486 | 691d0b44a793 |
parent 48483 | 9bfb6978eb80 |
child 48487 | 94a9650f79fb |
--- a/src/HOL/ROOT Tue Jul 24 21:07:54 2012 +0200 +++ b/src/HOL/ROOT Tue Jul 24 21:26:28 2012 +0200 @@ -693,7 +693,7 @@ "RIPEMD-160/rmd/s_r.siv" session Manual in "SPARK/Manual" = "HOL-SPARK" + - (* FIXME Printer.show_question_marks_default := false; *) + options [show_question_marks = false] theories Example_Verification VC_Principles