etc/options
changeset 48463 07f752935ece
parent 48460 20170ae271a5
child 48466 3b2fb20df17d
equal deleted inserted replaced
48462:424fd5364f15 48463:07f752935ece
     1 (* :mode=isabelle-options: *)
     1 (* :mode=isabelle-options: *)
     2 
     2 
     3 declare browser_info : bool = false
     3 declare browser_info : bool = false
       
     4 declare browser_info_remote : string = ""
     4 
     5 
     5 declare document : string = ""
     6 declare document : string = ""
     6 declare document_variants : string = document
     7 declare document_variants : string = document
     7 declare document_graph : bool = false
     8 declare document_graph : bool = false
     8 declare document_dump : string = ""
     9 declare document_dump : string = ""