wenzelm@34418: ## Isabelle plugin properties
wenzelm@34520: ##
wenzelm@34520: ##:encoding=ISO-8859-1:
wenzelm@34318: 
wenzelm@34418: #identification
wenzelm@34418: plugin.isabelle.jedit.Plugin.name=Isabelle
wenzelm@34571: plugin.isabelle.jedit.Plugin.author=Johannes Hölzl, Fabian Immler, Makarius Wenzel
wenzelm@34418: plugin.isabelle.jedit.Plugin.version=0.0.1
wenzelm@34760: plugin.isabelle.jedit.Plugin.description=Isabelle/Isar asynchronous proof processing
wenzelm@34418: 
wenzelm@34418: #system parameters
wenzelm@34726: plugin.isabelle.jedit.Plugin.activate=defer
wenzelm@34418: plugin.isabelle.jedit.Plugin.usePluginHome=false
wenzelm@34318: 
wenzelm@34418: #dependencies
wenzelm@34752: plugin.isabelle.jedit.Plugin.depend.0=jdk 1.6
wenzelm@34752: plugin.isabelle.jedit.Plugin.depend.1=jedit 04.03.17.00
wenzelm@34418: plugin.isabelle.jedit.Plugin.depend.2=plugin errorlist.ErrorListPlugin 1.7
wenzelm@34418: plugin.isabelle.jedit.Plugin.depend.3=plugin sidekick.SideKickPlugin 0.7.6
immler@34563: plugin.isabelle.jedit.Plugin.depend.4=plugin gatchan.jedit.hyperlinks.HyperlinksPlugin 1.0.1
wenzelm@34418: 
wenzelm@34420: #options
wenzelm@34420: plugin.isabelle.jedit.Plugin.option-pane=isabelle
wenzelm@34420: options.isabelle.label=Isabelle
wenzelm@34760: options.isabelle.code=new isabelle.jedit.Isabelle_Options();
wenzelm@34617: options.isabelle.logic.title=Logic
wenzelm@34420: options.isabelle.font-size.title=Font Size
wenzelm@34752: options.isabelle.font-size=14
wenzelm@34420: 
wenzelm@34421: #menu actions
wenzelm@34318: plugin.isabelle.jedit.Plugin.menu.label=Isabelle
wenzelm@34773: plugin.isabelle.jedit.Plugin.menu=isabelle.activate isabelle.show-output isabelle.show-protocol isabelle.show-history
wenzelm@34427: isabelle.activate.label=Activate current buffer
wenzelm@34773: isabelle.show-output.label=Show Output
wenzelm@34773: isabelle.show-protocol.label=Show Protocol
wenzelm@34760: isabelle.show-history.label=Show History
wenzelm@34318: 
wenzelm@34421: #dockables
wenzelm@34773: isabelle-output.title=Output
wenzelm@34773: isabelle-protocol.title=Protocol
wenzelm@34760: isabelle-history.title=History
wenzelm@34318: 
wenzelm@34421: #SideKick
immler@34393: sidekick.parser.isabelle.label=Isabelle
wenzelm@34420: mode.isabelle.sidekick.parser=isabelle
wenzelm@34420: mode.ml.sidekick.parser=isabelle
immler@34568: 
immler@34568: #Hyperlinks
immler@34568: mode.isabelle.hyperlink.source=isabelle