src/Tools/jEdit/src/Isabelle.props
author wenzelm
Mon Jan 09 20:26:59 2017 +0100 (2017-01-09)
changeset 64854 f5aa712e6250
parent 64367 a424f2737646
child 65329 4f3da52cec02
permissions -rw-r--r--
tuned signature;
     1 ## Isabelle plugin properties
     2 ##
     3 ##:encoding=ISO-8859-1:wrap=soft:maxLineLen=100:
     4 
     5 #identification
     6 plugin.isabelle.jedit.Plugin.name=Isabelle
     7 plugin.isabelle.jedit.Plugin.author=Johannes Hölzl, Lars Hupel, Fabian Immler, Markus Kaiser, Makarius Wenzel
     8 plugin.isabelle.jedit.Plugin.version=8.0
     9 plugin.isabelle.jedit.Plugin.description=Isabelle Prover IDE
    10 
    11 #system parameters
    12 plugin.isabelle.jedit.Plugin.activate=startup
    13 plugin.isabelle.jedit.Plugin.usePluginHome=false
    14 
    15 #dependencies
    16 plugin.isabelle.jedit.Plugin.depend.0=jdk 1.8
    17 plugin.isabelle.jedit.Plugin.depend.1=jedit 05.03.00.00
    18 plugin.isabelle.jedit.Plugin.depend.2=plugin console.ConsolePlugin 5.1.4
    19 plugin.isabelle.jedit.Plugin.depend.3=plugin errorlist.ErrorListPlugin 2.3
    20 plugin.isabelle.jedit.Plugin.depend.4=plugin sidekick.SideKickPlugin 1.8
    21 
    22 #options
    23 plugin.isabelle.jedit.Plugin.option-group=isabelle-general isabelle-rendering
    24 options.isabelle-general.label=General
    25 options.isabelle-general.code=new isabelle.jedit.Isabelle_Options1();
    26 options.isabelle-rendering.label=Rendering
    27 options.isabelle-rendering.code=new isabelle.jedit.Isabelle_Options2();
    28 
    29 #menu actions and dockables
    30 plugin.isabelle.jedit.Plugin.menu.label=Isabelle
    31 plugin.isabelle.jedit.Plugin.menu= \
    32   isabelle-debugger \
    33   isabelle-documentation \
    34   isabelle-monitor \
    35   isabelle-output \
    36   isabelle-protocol \
    37   isabelle-query \
    38   isabelle-raw-output \
    39   isabelle-simplifier-trace \
    40   isabelle-sledgehammer \
    41   isabelle-state \
    42   isabelle-symbols \
    43   isabelle-syslog \
    44   isabelle-theories \
    45   isabelle-timing
    46 isabelle-debugger.label=Debugger panel
    47 isabelle-debugger.title=Debugger
    48 isabelle-documentation.label=Documentation panel
    49 isabelle-documentation.title=Documentation
    50 isabelle-graphview.label=Graphview panel
    51 isabelle-graphview.title=Graphview
    52 isabelle-info.label=Info panel
    53 isabelle-info.title=Info
    54 isabelle-monitor.label=Monitor panel
    55 isabelle-monitor.title=Monitor
    56 isabelle-output.label=Output panel
    57 isabelle-output.title=Output
    58 isabelle-protocol.label=Protocol panel
    59 isabelle-protocol.title=Protocol
    60 isabelle-query.label=Query panel
    61 isabelle-query.title=Query
    62 isabelle-raw-output.label=Raw Output panel
    63 isabelle-raw-output.title=Raw Output
    64 isabelle-simplifier-trace.label=Simplifier Trace panel
    65 isabelle-simplifier-trace.title=Simplifier Trace
    66 isabelle-sledgehammer.label=Sledgehammer panel
    67 isabelle-sledgehammer.title=Sledgehammer
    68 isabelle-state.label=State panel
    69 isabelle-state.title=State
    70 isabelle-symbols.label=Symbols panel
    71 isabelle-symbols.title=Symbols
    72 isabelle-syslog.label=Syslog panel
    73 isabelle-syslog.title=Syslog
    74 isabelle-theories.label=Theories panel
    75 isabelle-theories.title=Theories
    76 isabelle-timing.label=Timing panel
    77 isabelle-timing.title=Timing
    78 
    79 #SideKick
    80 mode.isabelle-news.folding=sidekick
    81 mode.isabelle-news.sidekick.parser=isabelle-news
    82 mode.isabelle-options.folding=sidekick
    83 mode.isabelle-options.sidekick.parser=isabelle-options
    84 mode.isabelle-root.folding=sidekick
    85 mode.isabelle-root.sidekick.parser=isabelle-root
    86 mode.isabelle.customSettings=true
    87 mode.isabelle.folding=isabelle
    88 mode.isabelle.sidekick.parser=isabelle
    89 mode.isabelle.sidekick.showStatusWindow.label=true
    90 mode.isabelle-ml.folding=sidekick
    91 mode.isabelle-ml.sidekick.parser=isabelle-ml
    92 mode.sml.folding=sidekick
    93 mode.sml.sidekick.parser=isabelle-sml
    94 mode.bibtex.folding=sidekick
    95 mode.bibtex.sidekick.parser=bibtex