etc/options

--- a/etc/options	Thu May 16 20:50:01 2013 +0200
+++ b/etc/options	Thu May 16 21:09:58 2013 +0200
@@ -40,7 +40,8 @@
   -- "indentation for pretty printing of display material"
 option thy_output_source : bool = false
   -- "print original source text rather than internal representation"
-
+option thy_output_modes : string = ""
+  -- "additional print modes for document output (separated by commas)"
 
 option print_mode : string = ""
   -- "additional print modes for prover output (separated by commas)"