src/Tools/jEdit/plugin/Isabelle.props
author wenzelm
Tue Dec 08 16:30:20 2009 +0100 (2009-12-08)
changeset 34760 dc7f5e0d9d27
parent 34752 e20ef5b33d17
child 34773 bb5d68f7fd5e
permissions -rw-r--r--
misc modernization of names;
     1 ## Isabelle plugin properties
     2 ##
     3 ##:encoding=ISO-8859-1:
     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.0.1
     9 plugin.isabelle.jedit.Plugin.description=Isabelle/Isar asynchronous proof processing
    10 
    11 #system parameters
    12 plugin.isabelle.jedit.Plugin.activate=defer
    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.17.00
    18 plugin.isabelle.jedit.Plugin.depend.2=plugin errorlist.ErrorListPlugin 1.7
    19 plugin.isabelle.jedit.Plugin.depend.3=plugin sidekick.SideKickPlugin 0.7.6
    20 plugin.isabelle.jedit.Plugin.depend.4=plugin gatchan.jedit.hyperlinks.HyperlinksPlugin 1.0.1
    21 
    22 #options
    23 plugin.isabelle.jedit.Plugin.option-pane=isabelle
    24 options.isabelle.label=Isabelle
    25 options.isabelle.code=new isabelle.jedit.Isabelle_Options();
    26 options.isabelle.logic.title=Logic
    27 options.isabelle.font-size.title=Font Size
    28 options.isabelle.font-size=14
    29 
    30 #menu actions
    31 plugin.isabelle.jedit.Plugin.menu.label=Isabelle
    32 plugin.isabelle.jedit.Plugin.menu=isabelle.activate isabelle.show-results isabelle.show-raw-output isabelle.show-history
    33 isabelle.activate.label=Activate current buffer
    34 isabelle.show-results.label=Show Results
    35 isabelle.show-raw-output.label=Show Raw Output
    36 isabelle.show-history.label=Show History
    37 
    38 #dockables
    39 isabelle-results.title=Results
    40 isabelle-raw-output.title=Raw Output
    41 isabelle-history.title=History
    42 
    43 #SideKick
    44 sidekick.parser.isabelle.label=Isabelle
    45 mode.isabelle.sidekick.parser=isabelle
    46 mode.ml.sidekick.parser=isabelle
    47 
    48 #Hyperlinks
    49 mode.isabelle.hyperlink.source=isabelle