src/Tools/jEdit/src/Isabelle.props
changeset 50299 f70b3712040f
parent 50297 62edbd5c95cc
child 50300 6658097758ba
     1.1 --- a/src/Tools/jEdit/src/Isabelle.props	Fri Nov 30 21:28:35 2012 +0100
     1.2 +++ b/src/Tools/jEdit/src/Isabelle.props	Fri Nov 30 21:30:24 2012 +0100
     1.3 @@ -47,8 +47,8 @@
     1.4  
     1.5  #menu actions
     1.6  plugin.isabelle.jedit.Plugin.menu.label=Isabelle
     1.7 -plugin.isabelle.jedit.Plugin.menu=isabelle.session-panel isabelle.output-panel isabelle.graphview-panel isabelle.raw-output-panel isabelle.protocol-panel isabelle.readme-panel isabelle.symbols-panel isabelle.syslog-panel
     1.8 -isabelle.session-panel.label=Prover Session panel
     1.9 +plugin.isabelle.jedit.Plugin.menu=isabelle.theories-panel isabelle.output-panel isabelle.graphview-panel isabelle.raw-output-panel isabelle.protocol-panel isabelle.readme-panel isabelle.symbols-panel isabelle.syslog-panel
    1.10 +isabelle.theories-panel.label=Theories panel
    1.11  isabelle.output-panel.label=Output panel
    1.12  isabelle.graphview-panel.label=Graphview panel
    1.13  isabelle.raw-output-panel.label=Raw Output panel
    1.14 @@ -58,7 +58,7 @@
    1.15  isabelle.syslog-panel.label=Syslog panel
    1.16  
    1.17  #dockables
    1.18 -isabelle-session.title=Prover Session
    1.19 +isabelle-theories.title=Theories
    1.20  isabelle-output.title=Output
    1.21  isabelle-info.title=Info
    1.22  isabelle-graphview.title=Graphview