src/Tools/jEdit/src/Isabelle.props
author wenzelm
Wed Sep 26 14:38:23 2012 +0200 (2012-09-26 ago)
changeset 49570 2265456f6131
parent 49566 66cbf8bb4693
child 49611 8e3c10eb6375
permissions -rw-r--r--
more uniform graphview terminology;
     1 ## Isabelle plugin properties
     2 ##
     3 ##:encoding=ISO-8859-1:wrap=soft:maxLineLen=100:
     4 
     5 #identification
     6 plugin.isabelle.jedit.Plugin.name=Isabelle
     7 plugin.isabelle.jedit.Plugin.author=Johannes Hölzl, Fabian Immler, Markus Kaiser, Makarius Wenzel
     8 plugin.isabelle.jedit.Plugin.version=1.0.0
     9 plugin.isabelle.jedit.Plugin.description=Isabelle Prover IDE
    10 
    11 #system parameters
    12 plugin.isabelle.jedit.Plugin.activate=startup
    13 plugin.isabelle.jedit.Plugin.usePluginHome=false
    14 
    15 #dependencies
    16 plugin.isabelle.jedit.Plugin.depend.0=jdk 1.7
    17 plugin.isabelle.jedit.Plugin.depend.1=jedit 04.05.02.00
    18 plugin.isabelle.jedit.Plugin.depend.2=plugin console.ConsolePlugin 4.5
    19 plugin.isabelle.jedit.Plugin.depend.3=plugin errorlist.ErrorListPlugin 1.9
    20 plugin.isabelle.jedit.Plugin.depend.4=plugin sidekick.SideKickPlugin 1.3
    21 
    22 #options
    23 plugin.isabelle.jedit.Plugin.option-group=isabelle-general isabelle-rendering
    24 options.isabelle-general.label=General
    25 options.isabelle-general.code=new isabelle.jedit.Isabelle_Options1();
    26 options.isabelle-rendering.label=Rendering
    27 options.isabelle-rendering.code=new isabelle.jedit.Isabelle_Options2();
    28 
    29 #actions
    30 isabelle.check-buffer.label=Commence full proof checking of current buffer
    31 isabelle.check-buffer.shortcut=C+e SPACE
    32 isabelle.cancel-execution.label=Cancel current proof checking process
    33 isabelle.cancel-execution.shortcut=C+e BACK_SPACE
    34 isabelle.input-isub.label=Input subscript
    35 isabelle.input-isub.shortcut=C+e DOWN
    36 isabelle.input-isup.label=Input superscript
    37 isabelle.input-isup.shortcut=C+e UP
    38 isabelle.input-bold.label=Input bold face
    39 isabelle.input-bold.shortcut=C+e RIGHT
    40 
    41 #menu actions
    42 plugin.isabelle.jedit.Plugin.menu.label=Isabelle
    43 plugin.isabelle.jedit.Plugin.menu=isabelle.session-panel isabelle.output-panel isabelle.graphview-panel isabelle.output1-panel isabelle.raw-output-panel isabelle.protocol-panel isabelle.readme-panel isabelle.syslog-panel
    44 isabelle.session-panel.label=Prover Session panel
    45 isabelle.output-panel.label=Output panel
    46 isabelle.graphview-panel.label=Graphview panel
    47 isabelle.output1-panel.label=Output1 panel
    48 isabelle.raw-output-panel.label=Raw Output panel
    49 isabelle.protocol-panel.label=Protocol panel
    50 isabelle.readme-panel.label=README panel
    51 isabelle.syslog-panel.label=Syslog panel
    52 
    53 #dockables
    54 isabelle-session.title=Prover Session
    55 isabelle-output.title=Output
    56 isabelle-graphview.title=Graphview
    57 isabelle-output1.title=Output1
    58 isabelle-raw-output.title=Raw Output
    59 isabelle-protocol.title=Protocol
    60 isabelle-readme.title=README
    61 isabelle-syslog.title=Syslog
    62 
    63 #SideKick
    64 mode.isabelle-options.folding=sidekick
    65 mode.isabelle-options.sidekick.parser=isabelle-options
    66 mode.isabelle-root.folding=sidekick
    67 mode.isabelle-root.sidekick.parser=isabelle-root
    68 mode.isabelle.customSettings=true
    69 mode.isabelle.folding=sidekick
    70 mode.isabelle.sidekick.parser=isabelle
    71 mode.isabelle.sidekick.showStatusWindow.label=true
    72 mode.ml.sidekick.parser=isabelle
    73 sidekick.parser.isabelle.label=Isabelle
    74