src/Tools/jEdit/src/Isabelle.props
changeset 44865 679f0d57e831
parent 44238 36120feb70ed
child 45446 d29d73117b73
equal deleted inserted replaced
44864:e50557cb0eb6 44865:679f0d57e831
    36 options.isabelle.startup-timeout=25.0
    36 options.isabelle.startup-timeout=25.0
    37 options.isabelle.auto-start.title=Auto Start
    37 options.isabelle.auto-start.title=Auto Start
    38 options.isabelle.auto-start=true
    38 options.isabelle.auto-start=true
    39 
    39 
    40 #actions
    40 #actions
       
    41 isabelle.check-buffer.label=Commence full proof checking of current buffer
       
    42 isabelle.check-buffer.shortcut=C+e SPACE
       
    43 isabelle.cancel-execution.label=Cancel current proof checking process
       
    44 isabelle.cancel-execution.shortcut=C+e BACK_SPACE
       
    45 isabelle.input-isub.label=Input subscript
    41 isabelle.input-isub.shortcut=C+e DOWN
    46 isabelle.input-isub.shortcut=C+e DOWN
       
    47 isabelle.input-isup.label=Input superscript
    42 isabelle.input-isup.shortcut=C+e UP
    48 isabelle.input-isup.shortcut=C+e UP
       
    49 isabelle.input-bold.label=Input bold face
    43 isabelle.input-bold.shortcut=C+e RIGHT
    50 isabelle.input-bold.shortcut=C+e RIGHT
    44 
    51 
    45 #menu actions
    52 #menu actions
    46 plugin.isabelle.jedit.Plugin.menu.label=Isabelle
    53 plugin.isabelle.jedit.Plugin.menu.label=Isabelle
    47 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