equal
deleted
inserted
replaced
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 = "" |
|
5 |
4 |
6 declare document : string = "" |
5 declare document : string = "" |
7 declare document_variants : string = "outline=/proof,/ML" |
6 declare document_variants : string = "outline=/proof,/ML" |
8 declare document_graph : bool = false |
7 declare document_graph : bool = false |
9 declare document_dump : string = "" |
8 declare document_dump : string = "" |