src/Tools/jEdit/src/Isabelle.props
changeset 48014 63021e59cbf0
parent 45446 d29d73117b73
child 48020 a4f9957878ab
equal deleted inserted replaced
48013:44de84112a67 48014:63021e59cbf0
    49 isabelle.input-bold.label=Input bold face
    49 isabelle.input-bold.label=Input bold face
    50 isabelle.input-bold.shortcut=C+e RIGHT
    50 isabelle.input-bold.shortcut=C+e RIGHT
    51 
    51 
    52 #menu actions
    52 #menu actions
    53 plugin.isabelle.jedit.Plugin.menu.label=Isabelle
    53 plugin.isabelle.jedit.Plugin.menu.label=Isabelle
    54 plugin.isabelle.jedit.Plugin.menu=isabelle.session-panel isabelle.output-panel isabelle.raw-output-panel isabelle.protocol-panel
    54 plugin.isabelle.jedit.Plugin.menu=isabelle.session-panel isabelle.output-panel isabelle.raw-output-panel isabelle.protocol-panel isabelle.readme-panel
    55 isabelle.session-panel.label=Prover Session panel
    55 isabelle.session-panel.label=Prover Session panel
    56 isabelle.output-panel.label=Output panel
    56 isabelle.output-panel.label=Output panel
    57 isabelle.raw-output-panel.label=Raw Output panel
    57 isabelle.raw-output-panel.label=Raw Output panel
    58 isabelle.protocol-panel.label=Protocol panel
    58 isabelle.protocol-panel.label=Protocol panel
       
    59 isabelle.readme-panel.label=README panel
    59 
    60 
    60 #dockables
    61 #dockables
    61 isabelle-session.title=Prover Session
    62 isabelle-session.title=Prover Session
    62 isabelle-output.title=Output
    63 isabelle-output.title=Output
    63 isabelle-raw-output.title=Raw Output
    64 isabelle-raw-output.title=Raw Output
    64 isabelle-protocol.title=Protocol
    65 isabelle-protocol.title=Protocol
       
    66 isabelle-readme.title=README
    65 
    67 
    66 #SideKick
    68 #SideKick
    67 sidekick.parser.isabelle.label=Isabelle
    69 sidekick.parser.isabelle.label=Isabelle
    68 mode.isabelle.sidekick.parser=isabelle
    70 mode.isabelle.sidekick.parser=isabelle
    69 mode.ml.sidekick.parser=isabelle
    71 mode.ml.sidekick.parser=isabelle