src/Tools/jEdit/src/Isabelle.props
changeset 50433 9131dadb2bf7
parent 50308 08b55c5ce064
child 50452 bfb5964e3041
     1.1 --- a/src/Tools/jEdit/src/Isabelle.props	Sat Dec 08 22:14:39 2012 +0100
     1.2 +++ b/src/Tools/jEdit/src/Isabelle.props	Sat Dec 08 22:19:24 2012 +0100
     1.3 @@ -28,26 +28,37 @@
     1.4  
     1.5  #menu actions
     1.6  plugin.isabelle.jedit.Plugin.menu.label=Isabelle
     1.7 -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.8 -isabelle.theories-panel.label=Theories panel
     1.9 +plugin.isabelle.jedit.Plugin.menu= \
    1.10 +  isabelle.graphview-panel \
    1.11 +  isabelle.monitor-panel \
    1.12 +  isabelle.output-panel \
    1.13 +  isabelle.protocol-panel \
    1.14 +  isabelle.raw-output-panel \
    1.15 +  isabelle.readme-panel \
    1.16 +  isabelle.symbols-panel \
    1.17 +  isabelle.syslog-panel \
    1.18 +  isabelle.theories-panel
    1.19 +isabelle.graphview-panel.label=Graphview panel
    1.20 +isabelle.monitor-panel.label=Monitor panel
    1.21  isabelle.output-panel.label=Output panel
    1.22 -isabelle.graphview-panel.label=Graphview panel
    1.23 +isabelle.protocol-panel.label=Protocol panel
    1.24  isabelle.raw-output-panel.label=Raw Output panel
    1.25 -isabelle.protocol-panel.label=Protocol panel
    1.26  isabelle.readme-panel.label=README panel
    1.27  isabelle.symbols-panel.label=Symbols panel
    1.28  isabelle.syslog-panel.label=Syslog panel
    1.29 +isabelle.theories-panel.label=Theories panel
    1.30  
    1.31  #dockables
    1.32 -isabelle-theories.title=Theories
    1.33 +isabelle-graphview.title=Graphview
    1.34 +isabelle-info.title=Info
    1.35 +isabelle-monitor.title=Monitor
    1.36  isabelle-output.title=Output
    1.37 -isabelle-info.title=Info
    1.38 -isabelle-graphview.title=Graphview
    1.39 +isabelle-protocol.title=Protocol
    1.40  isabelle-raw-output.title=Raw Output
    1.41 -isabelle-protocol.title=Protocol
    1.42  isabelle-readme.title=README
    1.43 +isabelle-symbols.title=Symbols
    1.44  isabelle-syslog.title=Syslog
    1.45 -isabelle-symbols.title=Symbols
    1.46 +isabelle-theories.title=Theories
    1.47  
    1.48  #SideKick
    1.49  mode.isabelle-options.folding=sidekick