equal
deleted
inserted
replaced
1 (* :mode=isabelle-options: *) |
1 (* :mode=isabelle-options: *) |
2 |
2 |
3 public option jedit_logic : string = "" |
3 public option jedit_logic : string = "" |
4 -- "default logic session" |
4 -- "default logic session" |
|
5 |
|
6 public option jedit_print_mode : string = "" |
|
7 -- "default print modes for output, separated by commas (change requires restart)" |
5 |
8 |
6 public option jedit_auto_load : bool = false |
9 public option jedit_auto_load : bool = false |
7 -- "load all required files automatically to resolve theory imports" |
10 -- "load all required files automatically to resolve theory imports" |
8 |
11 |
9 public option jedit_reset_font_size : int = 18 |
12 public option jedit_reset_font_size : int = 18 |