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@34879: plugin.isabelle.jedit.Plugin.version=0.1.0
wenzelm@34879: plugin.isabelle.jedit.Plugin.description=Isabelle/Isar asynchronous proof document editing
wenzelm@34418: 
wenzelm@34418: #system parameters
wenzelm@34803: plugin.isabelle.jedit.Plugin.activate=startup
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@34879: plugin.isabelle.jedit.Plugin.depend.1=jedit 04.03.99.00
wenzelm@34879: plugin.isabelle.jedit.Plugin.depend.2=plugin console.ConsolePlugin 4.4.1
wenzelm@34879: plugin.isabelle.jedit.Plugin.depend.3=plugin errorlist.ErrorListPlugin 1.8
wenzelm@34879: plugin.isabelle.jedit.Plugin.depend.4=plugin sidekick.SideKickPlugin 0.8
wenzelm@34879: plugin.isabelle.jedit.Plugin.depend.5=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@34820: options.isabelle.startup-timeout=10000
wenzelm@34420: 
wenzelm@34421: #menu actions
wenzelm@34318: plugin.isabelle.jedit.Plugin.menu.label=Isabelle
wenzelm@34814: plugin.isabelle.jedit.Plugin.menu=isabelle.activate isabelle.show-output isabelle.show-protocol
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@34318: 
wenzelm@34421: #dockables
wenzelm@34773: isabelle-output.title=Output
wenzelm@34773: isabelle-protocol.title=Protocol
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