1.1 --- a/src/Tools/jEdit/plugin/Isabelle.props	Wed Jun 08 17:01:07 2011 +0200
     1.2 +++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.3 @@ -1,60 +0,0 @@
     1.4 -## Isabelle plugin properties
     1.5 -##
     1.6 -##:encoding=ISO-8859-1:wrap=soft:maxLineLen=100:
     1.7 -
     1.8 -#identification
     1.9 -plugin.isabelle.jedit.Plugin.name=Isabelle
    1.10 -plugin.isabelle.jedit.Plugin.author=Johannes Hölzl, Fabian Immler, Makarius Wenzel
    1.11 -plugin.isabelle.jedit.Plugin.version=0.1.0
    1.12 -plugin.isabelle.jedit.Plugin.description=Isabelle/Isar asynchronous proof document editing
    1.13 -
    1.14 -#system parameters
    1.15 -plugin.isabelle.jedit.Plugin.activate=startup
    1.16 -plugin.isabelle.jedit.Plugin.usePluginHome=false
    1.17 -
    1.18 -#dependencies
    1.19 -plugin.isabelle.jedit.Plugin.depend.0=jdk 1.6
    1.20 -plugin.isabelle.jedit.Plugin.depend.1=jedit 04.03.99.00
    1.21 -plugin.isabelle.jedit.Plugin.depend.2=plugin console.ConsolePlugin 4.4.1
    1.22 -plugin.isabelle.jedit.Plugin.depend.3=plugin errorlist.ErrorListPlugin 1.8
    1.23 -plugin.isabelle.jedit.Plugin.depend.4=plugin sidekick.SideKickPlugin 0.8
    1.24 -plugin.isabelle.jedit.Plugin.depend.5=plugin gatchan.jedit.hyperlinks.HyperlinksPlugin 1.0.1
    1.25 -
    1.26 -#options
    1.27 -plugin.isabelle.jedit.Plugin.option-pane=isabelle
    1.28 -options.isabelle.label=Isabelle
    1.29 -options.isabelle.code=new isabelle.jedit.Isabelle_Options();
    1.30 -options.isabelle.logic.title=Logic
    1.31 -options.isabelle.relative-font-size.title=Relative Font Size
    1.32 -options.isabelle.relative-font-size=100
    1.33 -options.isabelle.tooltip-font-size.title=Tooltip Font Size
    1.34 -options.isabelle.tooltip-font-size=10
    1.35 -options.isabelle.tooltip-margin.title=Tooltip Margin
    1.36 -options.isabelle.tooltip-margin=40
    1.37 -options.isabelle.tooltip-dismiss-delay.title=Tooltip Dismiss Delay (global)
    1.38 -options.isabelle.tooltip-dismiss-delay=8.0
    1.39 -options.isabelle.startup-timeout=25.0
    1.40 -options.isabelle.auto-start.title=Auto Start
    1.41 -options.isabelle.auto-start=true
    1.42 -
    1.43 -#menu actions
    1.44 -plugin.isabelle.jedit.Plugin.menu.label=Isabelle
    1.45 -plugin.isabelle.jedit.Plugin.menu=isabelle.session-panel isabelle.output-panel isabelle.raw-output-panel isabelle.protocol-panel
    1.46 -isabelle.session-panel.label=Prover Session panel
    1.47 -isabelle.output-panel.label=Output panel
    1.48 -isabelle.raw-output-panel.label=Raw Output panel
    1.49 -isabelle.protocol-panel.label=Protocol panel
    1.50 -
    1.51 -#dockables
    1.52 -isabelle-session.title=Prover Session
    1.53 -isabelle-output.title=Output
    1.54 -isabelle-raw-output.title=Raw Output
    1.55 -isabelle-protocol.title=Protocol
    1.56 -
    1.57 -#SideKick
    1.58 -sidekick.parser.isabelle.label=Isabelle
    1.59 -mode.isabelle.sidekick.parser=isabelle
    1.60 -mode.ml.sidekick.parser=isabelle
    1.61 -
    1.62 -#Hyperlinks
    1.63 -mode.isabelle.hyperlink.source=isabelle