author | wenzelm |
Mon, 10 Dec 2012 15:46:50 +0100 | |
changeset 50454 | f4f5f98069a0 |
parent 50453 | 262dc5873f80 |
child 50455 | c7f366a861ed |
--- a/src/Tools/jEdit/src/Isabelle.props Mon Dec 10 15:39:20 2012 +0100 +++ b/src/Tools/jEdit/src/Isabelle.props Mon Dec 10 15:46:50 2012 +0100 @@ -47,6 +47,7 @@ isabelle.theories-panel.label=Theories panel #dockables +isabelle-graphview.title=Graphview isabelle-info.title=Info isabelle-monitor.title=Monitor isabelle-output.title=Output