src/Tools/jEdit/src/Isabelle.props
author wenzelm
Tue Aug 23 12:20:12 2011 +0200 (2011-08-23)
changeset 44385 e7fdb008aa7d
parent 44238 36120feb70ed
child 44865 679f0d57e831
permissions -rw-r--r--
propagate editor perspective through document model;
     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, Makarius Wenzel
     8 plugin.isabelle.jedit.Plugin.version=0.1.0
     9 plugin.isabelle.jedit.Plugin.description=Isabelle/Isar asynchronous proof document editing
    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.6
    17 plugin.isabelle.jedit.Plugin.depend.1=jedit 04.03.99.00
    18 plugin.isabelle.jedit.Plugin.depend.2=plugin console.ConsolePlugin 4.4.1
    19 plugin.isabelle.jedit.Plugin.depend.3=plugin errorlist.ErrorListPlugin 1.8
    20 plugin.isabelle.jedit.Plugin.depend.4=plugin sidekick.SideKickPlugin 0.8
    21 plugin.isabelle.jedit.Plugin.depend.5=plugin gatchan.jedit.hyperlinks.HyperlinksPlugin 1.0.1
    22 
    23 #options
    24 plugin.isabelle.jedit.Plugin.option-pane=isabelle
    25 options.isabelle.label=Isabelle
    26 options.isabelle.code=new isabelle.jedit.Isabelle_Options();
    27 options.isabelle.logic.title=Logic
    28 options.isabelle.relative-font-size.title=Relative Font Size
    29 options.isabelle.relative-font-size=100
    30 options.isabelle.tooltip-font-size.title=Tooltip Font Size
    31 options.isabelle.tooltip-font-size=10
    32 options.isabelle.tooltip-margin.title=Tooltip Margin
    33 options.isabelle.tooltip-margin=40
    34 options.isabelle.tooltip-dismiss-delay.title=Tooltip Dismiss Delay (global)
    35 options.isabelle.tooltip-dismiss-delay=8.0
    36 options.isabelle.startup-timeout=25.0
    37 options.isabelle.auto-start.title=Auto Start
    38 options.isabelle.auto-start=true
    39 
    40 #actions
    41 isabelle.input-isub.shortcut=C+e DOWN
    42 isabelle.input-isup.shortcut=C+e UP
    43 isabelle.input-bold.shortcut=C+e RIGHT
    44 
    45 #menu actions
    46 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
    48 isabelle.session-panel.label=Prover Session panel
    49 isabelle.output-panel.label=Output panel
    50 isabelle.raw-output-panel.label=Raw Output panel
    51 isabelle.protocol-panel.label=Protocol panel
    52 
    53 #dockables
    54 isabelle-session.title=Prover Session
    55 isabelle-output.title=Output
    56 isabelle-raw-output.title=Raw Output
    57 isabelle-protocol.title=Protocol
    58 
    59 #SideKick
    60 sidekick.parser.isabelle.label=Isabelle
    61 mode.isabelle.sidekick.parser=isabelle
    62 mode.ml.sidekick.parser=isabelle
    63 
    64 #Hyperlinks
    65 mode.isabelle.hyperlink.source=isabelle