Mercurial Mercurial > repos > isabelle / file revision
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/jEdit/plugin/IsabellePlugin.props
author wenzelm
Mon, 20 Oct 2008 17:02:03 +0200
changeset 34328 be2e9e6726af
parent 34318 c13e168a8ae6
child 34342 b2781f2cd80a
permissions -rw-r--r--
added application.args (Why does it end up in pricate properties?);

# 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
isabelle