src/Tools/jEdit/src/jEdit.props
changeset 55559 aa1adeca714b
parent 55316 885500f4aa6a
child 55560 298274c970b6
     1.1 --- a/src/Tools/jEdit/src/jEdit.props	Tue Feb 18 18:51:03 2014 +0100
     1.2 +++ b/src/Tools/jEdit/src/jEdit.props	Tue Feb 18 19:00:13 2014 +0100
     1.3 @@ -189,7 +189,7 @@
     1.4  isabelle-output.height=174
     1.5  isabelle-output.width=412
     1.6  isabelle-sledgehammer.dock-position=bottom
     1.7 -isabelle-simp-trace.dock-position=bottom
     1.8 +isabelle-simplifier-trace.dock-position=bottom
     1.9  isabelle-symbols.dock-position=bottom
    1.10  isabelle-theories.dock-position=right
    1.11  isabelle.complete.label=Complete Isabelle text