src/Tools/jEdit/plugin/IsabellePlugin.props
author wenzelm
Sun, 19 Oct 2008 18:27:30 +0200
changeset 34320 883dc8fc3328
parent 34318 c13e168a8ae6
child 34342 b2781f2cd80a
permissions -rw-r--r--
basic Netbeans project setup;

# jEdit Properties

plugin.isabelle.jedit.Plugin.activate=startup
plugin.isabelle.jedit.Plugin.name=IsabellePlugin
plugin.isabelle.jedit.Plugin.version=0.1
plugin.isabelle.jedit.Plugin.description=Isabelle/Isar integration into jEdit
plugin.isabelle.jedit.Plugin.option-pane=isabelle

plugin.isabelle.jedit.Plugin.menu.label=Isabelle
plugin.isabelle.jedit.Plugin.menu=Isabelle.show-output Isabelle.show-state Isabelle.activate

Isabelle.show-output.label=Show Output
Isabelle.show-state.label=Show State
Isabelle.activate.label=Activate current buffer

Isabelle_output.title=Isabelle Output
Isabelle_state.title=Isabelle State

options.isabelle.label=Isabelle
options.isabelle.code=new isabelle.jedit.OptionPane();
options.isabelle.font-path.title=Font Path
options.isabelle.font-size.title=Font Size
options.isabelle.font-size=14