src/Tools/jEdit/src/Isabelle.props
author wenzelm
Wed May 02 19:18:29 2018 +0200 (21 months ago ago)
changeset 68068 b91c4acc1aaf
parent 66465 c21a0198881b
child 68393 b2510432c94d
permissions -rw-r--r--
clarified menu actions;
     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=9.0
     9 plugin.isabelle.jedit.Plugin.description=Isabelle Prover IDE
    10 
    11 #system parameters
    12 plugin.isabelle.jedit.Plugin.activate=defer
    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.04.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 isabelle.jedit_base.Plugin 1.0
    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.preview \
    34   isabelle.draft \
    35   - \
    36   isabelle-debugger \
    37   isabelle-documentation \
    38   isabelle-monitor \
    39   isabelle-output \
    40   isabelle-protocol \
    41   isabelle-query \
    42   isabelle-raw-output \
    43   isabelle-simplifier-trace \
    44   isabelle-sledgehammer \
    45   isabelle-state \
    46   isabelle-symbols \
    47   isabelle-syslog \
    48   isabelle-theories \
    49   isabelle-timing
    50 isabelle-debugger.label=Debugger panel
    51 isabelle-debugger.title=Debugger
    52 isabelle-documentation.label=Documentation panel
    53 isabelle-documentation.title=Documentation
    54 isabelle-graphview.label=Graphview panel
    55 isabelle-graphview.title=Graphview
    56 isabelle-info.label=Info panel
    57 isabelle-info.title=Info
    58 isabelle-monitor.label=Monitor panel
    59 isabelle-monitor.title=Monitor
    60 isabelle-output.label=Output panel
    61 isabelle-output.title=Output
    62 isabelle-protocol.label=Protocol panel
    63 isabelle-protocol.title=Protocol
    64 isabelle-query.label=Query panel
    65 isabelle-query.title=Query
    66 isabelle-raw-output.label=Raw Output panel
    67 isabelle-raw-output.title=Raw Output
    68 isabelle-simplifier-trace.label=Simplifier Trace panel
    69 isabelle-simplifier-trace.title=Simplifier Trace
    70 isabelle-sledgehammer.label=Sledgehammer panel
    71 isabelle-sledgehammer.title=Sledgehammer
    72 isabelle-state.label=State panel
    73 isabelle-state.title=State
    74 isabelle-symbols.label=Symbols panel
    75 isabelle-symbols.title=Symbols
    76 isabelle-syslog.label=Syslog panel
    77 isabelle-syslog.title=Syslog
    78 isabelle-theories.label=Theories panel
    79 isabelle-theories.title=Theories
    80 isabelle-timing.label=Timing panel
    81 isabelle-timing.title=Timing
    82 
    83 #SideKick
    84 mode.isabelle-news.folding=sidekick
    85 mode.isabelle-news.sidekick.parser=isabelle-news
    86 mode.isabelle-options.folding=sidekick
    87 mode.isabelle-options.sidekick.parser=isabelle-options
    88 mode.isabelle-root.folding=sidekick
    89 mode.isabelle-root.sidekick.parser=isabelle-root
    90 mode.isabelle.customSettings=true
    91 mode.isabelle.folding=isabelle
    92 mode.isabelle.sidekick.parser=isabelle
    93 mode.isabelle.sidekick.showStatusWindow.label=true
    94 mode.isabelle-ml.folding=sidekick
    95 mode.isabelle-ml.sidekick.parser=isabelle-ml
    96 mode.sml.folding=sidekick
    97 mode.sml.sidekick.parser=isabelle-sml
    98 mode.bibtex.folding=sidekick
    99 mode.bibtex.sidekick.parser=bibtex