src/Tools/jEdit/plugin/IsabellePlugin.props
author wenzelm
Sun Oct 19 16:51:55 2008 +0200 (2008-10-19)
changeset 34318 c13e168a8ae6
child 34342 b2781f2cd80a
permissions -rw-r--r--
original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout;
wenzelm@34318
     1
# jEdit Properties
wenzelm@34318
     2
wenzelm@34318
     3
plugin.isabelle.jedit.Plugin.activate=startup
wenzelm@34318
     4
plugin.isabelle.jedit.Plugin.name=IsabellePlugin
wenzelm@34318
     5
plugin.isabelle.jedit.Plugin.version=0.1
wenzelm@34318
     6
plugin.isabelle.jedit.Plugin.description=Isabelle/Isar integration into jEdit
wenzelm@34318
     7
plugin.isabelle.jedit.Plugin.option-pane=isabelle
wenzelm@34318
     8
wenzelm@34318
     9
plugin.isabelle.jedit.Plugin.menu.label=Isabelle
wenzelm@34318
    10
plugin.isabelle.jedit.Plugin.menu=Isabelle.show-output Isabelle.show-state Isabelle.activate
wenzelm@34318
    11
wenzelm@34318
    12
Isabelle.show-output.label=Show Output
wenzelm@34318
    13
Isabelle.show-state.label=Show State
wenzelm@34318
    14
Isabelle.activate.label=Activate current buffer
wenzelm@34318
    15
wenzelm@34318
    16
Isabelle_output.title=Isabelle Output
wenzelm@34318
    17
Isabelle_state.title=Isabelle State
wenzelm@34318
    18
wenzelm@34318
    19
options.isabelle.label=Isabelle
wenzelm@34318
    20
options.isabelle.code=new isabelle.jedit.OptionPane();
wenzelm@34318
    21
options.isabelle.font-path.title=Font Path
wenzelm@34318
    22
options.isabelle.font-size.title=Font Size
wenzelm@34318
    23
options.isabelle.font-size=14
wenzelm@34318
    24