--- a/src/Tools/jEdit/etc/options Wed Jul 13 14:28:15 2016 +0200
+++ b/src/Tools/jEdit/etc/options Wed Jul 13 15:19:16 2016 +0200
@@ -45,6 +45,12 @@
public option jedit_indent_newline : bool = true
-- "indentation of Isabelle keywords on ENTER (action isabelle.newline)"
+public option jedit_indent_script : bool = true
+ -- "indent unstructured proof script ('apply' etc.) via number of subgoals"
+
+public option jedit_indent_script_limit : int = 20
+ -- "maximum indentation of unstructured proof script ('apply' etc.)"
+
section "Completion"