equal
deleted
inserted
replaced
42 |
42 |
43 section "Indentation" |
43 section "Indentation" |
44 |
44 |
45 public option jedit_indent_newline : bool = true |
45 public option jedit_indent_newline : bool = true |
46 -- "indentation of Isabelle keywords on ENTER (action isabelle.newline)" |
46 -- "indentation of Isabelle keywords on ENTER (action isabelle.newline)" |
|
47 |
|
48 public option jedit_indent_script : bool = true |
|
49 -- "indent unstructured proof script ('apply' etc.) via number of subgoals" |
|
50 |
|
51 public option jedit_indent_script_limit : int = 20 |
|
52 -- "maximum indentation of unstructured proof script ('apply' etc.)" |
47 |
53 |
48 |
54 |
49 section "Completion" |
55 section "Completion" |
50 |
56 |
51 public option jedit_completion : bool = true |
57 public option jedit_completion : bool = true |