src/Tools/jEdit/src/jEdit.props
changeset 55316 885500f4aa6a
parent 54660 d9c88171b393
child 55559 aa1adeca714b
     1.1 --- a/src/Tools/jEdit/src/jEdit.props	Tue Feb 04 01:35:48 2014 +0100
     1.2 +++ b/src/Tools/jEdit/src/jEdit.props	Tue Feb 04 09:04:59 2014 +0000
     1.3 @@ -189,6 +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-symbols.dock-position=bottom
     1.9  isabelle-theories.dock-position=right
    1.10  isabelle.complete.label=Complete Isabelle text