--- a/src/Pure/Thy/present.ML Thu Apr 17 11:31:46 2014 +0200
+++ b/src/Pure/Thy/present.ML Thu Apr 17 11:42:36 2014 +0200
@@ -7,6 +7,7 @@
signature PRESENT =
sig
val session_name: theory -> string
+ val document_enabled: string -> bool
val document_variants: string -> (string * string) list
val init: bool -> bool -> Path.T -> string -> bool -> string -> (string * string) list ->
(Path.T * Path.T) list -> string * string -> bool -> theory list -> unit (*not thread-safe!*)
@@ -192,7 +193,9 @@
(** document preparation **)
-(* document variants *)
+(* options *)
+
+fun document_enabled s = s <> "" andalso s <> "false";
fun document_variants str =
let