changeset 56962 | 9c2ca698690e |
parent 56907 | 0f3c375fd27c |
child 56986 | 43be5818a45c |
--- a/src/Tools/jEdit/src/jEdit.props Wed May 14 13:07:47 2014 +0200 +++ b/src/Tools/jEdit/src/jEdit.props Wed May 14 13:10:57 2014 +0200 @@ -189,7 +189,6 @@ isabelle-output.width=412 isabelle-query.dock-position=bottom isabelle-simplifier-trace.dock-position=bottom -isabelle-sledgehammer.dock-position=bottom isabelle-symbols.dock-position=bottom isabelle-theories.dock-position=right isabelle.complete.label=Complete Isabelle text