* http://helm.cs.unibo.it/
*)
+(* $Id$ *)
+
val base_uri : string
val blank_uri : string
val browser_history_size : int
val closed_xml : string
val console_history_size : int
-val coq_notation_script : string
val core_notation_script : string
val current_proof_uri : string
val debug : bool