src/Tools/jEdit/src/Isabelle.props
author wenzelm
Thu Dec 31 21:46:31 2015 +0100 (2015-12-31)
changeset 62019 9de1eb745aeb
parent 61746 3df1b6a5837c
child 62674 6cfa0de8bb99
permissions -rw-r--r--
updated for release;
     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=7.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.7
    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 plugin.isabelle.jedit.Plugin.depend.5=plugin gatchan.highlight.HighlightPlugin 2.2
    22 
    23 #options
    24 plugin.isabelle.jedit.Plugin.option-group=isabelle-general isabelle-rendering
    25 options.isabelle-general.label=General
    26 options.isabelle-general.code=new isabelle.jedit.Isabelle_Options1();
    27 options.isabelle-rendering.label=Rendering
    28 options.isabelle-rendering.code=new isabelle.jedit.Isabelle_Options2();
    29 
    30 #menu actions and dockables
    31 plugin.isabelle.jedit.Plugin.menu.label=Isabelle
    32 plugin.isabelle.jedit.Plugin.menu= \
    33   isabelle-debugger \
    34   isabelle-documentation \
    35   isabelle-monitor \
    36   isabelle-output \
    37   isabelle-protocol \
    38   isabelle-query \
    39   isabelle-raw-output \
    40   isabelle-simplifier-trace \
    41   isabelle-sledgehammer \
    42   isabelle-state \
    43   isabelle-symbols \
    44   isabelle-syslog \
    45   isabelle-theories \
    46   isabelle-timing
    47 isabelle-debugger.label=Debugger panel
    48 isabelle-debugger.title=Debugger
    49 isabelle-documentation.label=Documentation panel
    50 isabelle-documentation.title=Documentation
    51 isabelle-graphview.label=Graphview panel
    52 isabelle-graphview.title=Graphview
    53 isabelle-info.label=Info panel
    54 isabelle-info.title=Info
    55 isabelle-monitor.label=Monitor panel
    56 isabelle-monitor.title=Monitor
    57 isabelle-output.label=Output panel
    58 isabelle-output.title=Output
    59 isabelle-protocol.label=Protocol panel
    60 isabelle-protocol.title=Protocol
    61 isabelle-query.label=Query panel
    62 isabelle-query.title=Query
    63 isabelle-raw-output.label=Raw Output panel
    64 isabelle-raw-output.title=Raw Output
    65 isabelle-simplifier-trace.label=Simplifier Trace panel
    66 isabelle-simplifier-trace.title=Simplifier Trace
    67 isabelle-sledgehammer.label=Sledgehammer panel
    68 isabelle-sledgehammer.title=Sledgehammer
    69 isabelle-state.label=State panel
    70 isabelle-state.title=State
    71 isabelle-symbols.label=Symbols panel
    72 isabelle-symbols.title=Symbols
    73 isabelle-syslog.label=Syslog panel
    74 isabelle-syslog.title=Syslog
    75 isabelle-theories.label=Theories panel
    76 isabelle-theories.title=Theories
    77 isabelle-timing.label=Timing panel
    78 isabelle-timing.title=Timing
    79 
    80 #SideKick
    81 mode.isabelle-news.folding=sidekick
    82 mode.isabelle-news.sidekick.parser=isabelle-news
    83 mode.isabelle-options.folding=sidekick
    84 mode.isabelle-options.sidekick.parser=isabelle-options
    85 mode.isabelle-root.folding=sidekick
    86 mode.isabelle-root.sidekick.parser=isabelle-root
    87 mode.isabelle.customSettings=true
    88 mode.isabelle.folding=isabelle
    89 mode.isabelle.sidekick.parser=isabelle
    90 mode.isabelle.sidekick.showStatusWindow.label=true
    91 mode.ml.sidekick.parser=isabelle
    92 sidekick.parser.isabelle.label=Isabelle
    93 mode.bibtex.folding=sidekick
    94 mode.bibtex.sidekick.parser=bibtex