--- a/src/Tools/jEdit/src/isabelle_options.scala Wed Mar 27 14:50:30 2013 +0100
+++ b/src/Tools/jEdit/src/isabelle_options.scala Wed Mar 27 16:38:25 2013 +0100
@@ -44,7 +44,7 @@
Set("jedit_logic", "jedit_font_scale", "jedit_symbols_search_limit",
"jedit_text_overview_limit", "jedit_tooltip_bounds", "jedit_tooltip_delay",
"jedit_tooltip_font_scale", "jedit_tooltip_margin", "jedit_mac_adapter",
- "jedit_timing_threshold", "threads", "threads_trace", "parallel_proofs",
+ "jedit_timing_threshold", "skip_proofs", "threads", "threads_trace", "parallel_proofs",
"parallel_subproofs_saturation", "editor_load_delay", "editor_input_delay",
"editor_output_delay", "editor_reparse_limit", "editor_tracing_messages",
"editor_update_delay", "editor_chart_delay")