Mercurial Mercurial > repos > isabelle / annotate
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/jEdit/src/Isabelle.props
author wenzelm
Mon, 10 Dec 2012 15:17:47 +0100
changeset 50452 bfb5964e3041
parent 50433 9131dadb2bf7
child 50454 f4f5f98069a0
permissions -rw-r--r--
stateless dockable window for graphview, which is triggered by the active area of the corresponding diagnostic command;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
34418
5f25eb86c6a0 renamed IsabellePlugin to Isabelle;
wenzelm
parents: 34393
diff changeset 
     1
 
## Isabelle plugin properties
34520
909b2610da52 recovered activate=defer, which is the "new" way to invoke jEdit plugins (cf. 3fbb7b565013);
wenzelm
parents: 34512
diff changeset 
     2
 
##
39515
57ceabb0bb8e basic setup for prover session panel;
wenzelm
parents: 38854
diff changeset 
     3
 
##:encoding=ISO-8859-1:wrap=soft:maxLineLen=100:
34318
c13e168a8ae6 original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout;
wenzelm
parents:
diff changeset 
     4
 







34418






5f25eb86c6a0
renamed IsabellePlugin to Isabelle;



wenzelm


parents: 
34393

diff
changeset




     5


#identification













5f25eb86c6a0
renamed IsabellePlugin to Isabelle;



wenzelm


parents: 
34393

diff
changeset




     6


plugin.isabelle.jedit.Plugin.name=Isabelle








49566






66cbf8bb4693
basic integration of graphview into document model;



wenzelm


parents: 
49494

diff
changeset




     7


plugin.isabelle.jedit.Plugin.author=Johannes Hölzl, Fabian Immler, Markus Kaiser, Makarius Wenzel













66cbf8bb4693
basic integration of graphview into document model;



wenzelm


parents: 
49494

diff
changeset




     8


plugin.isabelle.jedit.Plugin.version=1.0.0













66cbf8bb4693
basic integration of graphview into document model;



wenzelm


parents: 
49494

diff
changeset




     9


plugin.isabelle.jedit.Plugin.description=Isabelle Prover IDE








34418






5f25eb86c6a0
renamed IsabellePlugin to Isabelle;



wenzelm


parents: 
34393

diff
changeset




    10














5f25eb86c6a0
renamed IsabellePlugin to Isabelle;



wenzelm


parents: 
34393

diff
changeset




    11


#system parameters








34803






74ea350c9b2f
back to activate=startup (again) -- ensure that Isabelle_Encoding refers to valid Isabelle.system;



wenzelm


parents: 
34773

diff
changeset




    12


plugin.isabelle.jedit.Plugin.activate=startup








34418






5f25eb86c6a0
renamed IsabellePlugin to Isabelle;



wenzelm


parents: 
34393

diff
changeset




    13


plugin.isabelle.jedit.Plugin.usePluginHome=false








34318






c13e168a8ae6
original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout;



wenzelm


parents: 

diff
changeset




    14









34418






5f25eb86c6a0
renamed IsabellePlugin to Isabelle;



wenzelm


parents: 
34393

diff
changeset




    15


#dependencies








49566






66cbf8bb4693
basic integration of graphview into document model;



wenzelm


parents: 
49494

diff
changeset




    16


plugin.isabelle.jedit.Plugin.depend.0=jdk 1.7








50306






b655d2d0406d
updated to jedit-5.0.0;



wenzelm


parents: 
50300

diff
changeset




    17


plugin.isabelle.jedit.Plugin.depend.1=jedit 05.00.00.00













b655d2d0406d
updated to jedit-5.0.0;



wenzelm


parents: 
50300

diff
changeset




    18


plugin.isabelle.jedit.Plugin.depend.2=plugin console.ConsolePlugin 5.0













b655d2d0406d
updated to jedit-5.0.0;



wenzelm


parents: 
50300

diff
changeset




    19


plugin.isabelle.jedit.Plugin.depend.3=plugin errorlist.ErrorListPlugin 2.0













b655d2d0406d
updated to jedit-5.0.0;



wenzelm


parents: 
50300

diff
changeset




    20


plugin.isabelle.jedit.Plugin.depend.4=plugin sidekick.SideKickPlugin 1.4








34418






5f25eb86c6a0
renamed IsabellePlugin to Isabelle;



wenzelm


parents: 
34393

diff
changeset




    21









34420






4187cec99c11
regular plugin activation via "defer";



wenzelm


parents: 
34418

diff
changeset




    22


#options








49354






65c6a1d62dbc
more scalable option-group;



wenzelm


parents: 
49245

diff
changeset




    23


plugin.isabelle.jedit.Plugin.option-group=isabelle-general isabelle-rendering













65c6a1d62dbc
more scalable option-group;



wenzelm


parents: 
49245

diff
changeset




    24


options.isabelle-general.label=General













65c6a1d62dbc
more scalable option-group;



wenzelm


parents: 
49245

diff
changeset




    25


options.isabelle-general.code=new isabelle.jedit.Isabelle_Options1();













65c6a1d62dbc
more scalable option-group;



wenzelm


parents: 
49245

diff
changeset




    26


options.isabelle-rendering.label=Rendering













65c6a1d62dbc
more scalable option-group;



wenzelm


parents: 
49245

diff
changeset




    27


options.isabelle-rendering.code=new isabelle.jedit.Isabelle_Options2();








34420






4187cec99c11
regular plugin activation via "defer";



wenzelm


parents: 
34418

diff
changeset




    28









34421






c57a53d4469a
added author field;



wenzelm


parents: 
34420

diff
changeset




    29


#menu actions








34318






c13e168a8ae6
original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout;



wenzelm


parents: 

diff
changeset




    30


plugin.isabelle.jedit.Plugin.menu.label=Isabelle








50433






9131dadb2bf7
basic monitor panel, using the powerful jfreechart library;



wenzelm


parents: 
50308

diff
changeset




    31


plugin.isabelle.jedit.Plugin.menu= \













9131dadb2bf7
basic monitor panel, using the powerful jfreechart library;



wenzelm


parents: 
50308

diff
changeset




    32


  isabelle.monitor-panel \













9131dadb2bf7
basic monitor panel, using the powerful jfreechart library;



wenzelm


parents: 
50308

diff
changeset




    33


  isabelle.output-panel \













9131dadb2bf7
basic monitor panel, using the powerful jfreechart library;



wenzelm


parents: 
50308

diff
changeset




    34


  isabelle.protocol-panel \













9131dadb2bf7
basic monitor panel, using the powerful jfreechart library;



wenzelm


parents: 
50308

diff
changeset




    35


  isabelle.raw-output-panel \













9131dadb2bf7
basic monitor panel, using the powerful jfreechart library;



wenzelm


parents: 
50308

diff
changeset




    36


  isabelle.readme-panel \













9131dadb2bf7
basic monitor panel, using the powerful jfreechart library;



wenzelm


parents: 
50308

diff
changeset




    37


  isabelle.symbols-panel \













9131dadb2bf7
basic monitor panel, using the powerful jfreechart library;



wenzelm


parents: 
50308

diff
changeset




    38


  isabelle.syslog-panel \













9131dadb2bf7
basic monitor panel, using the powerful jfreechart library;



wenzelm


parents: 
50308

diff
changeset




    39


  isabelle.theories-panel













9131dadb2bf7
basic monitor panel, using the powerful jfreechart library;



wenzelm


parents: 
50308

diff
changeset




    40


isabelle.monitor-panel.label=Monitor panel








39617






a58eba339d2b
tuned panel names and actions;



wenzelm


parents: 
39515

diff
changeset




    41


isabelle.output-panel.label=Output panel








50433






9131dadb2bf7
basic monitor panel, using the powerful jfreechart library;



wenzelm


parents: 
50308

diff
changeset




    42


isabelle.protocol-panel.label=Protocol panel








39617






a58eba339d2b
tuned panel names and actions;



wenzelm


parents: 
39515

diff
changeset




    43


isabelle.raw-output-panel.label=Raw Output panel








48014






63021e59cbf0
separate README dockable, which allows to make it more prominent first and remove it later;



wenzelm


parents: 
45446

diff
changeset




    44


isabelle.readme-panel.label=README panel








50143






4ff5d795ed08
dockable with buttons for symbols, grouped and sorted in tabs according to ~~/etc/symbols;



immler


parents: 
49726

diff
changeset




    45


isabelle.symbols-panel.label=Symbols panel








48021






d899be1cfe6d
separate syslog dockable -- discontinued tendency of sub-window management via tabs;



wenzelm


parents: 
48020

diff
changeset




    46


isabelle.syslog-panel.label=Syslog panel








50433






9131dadb2bf7
basic monitor panel, using the powerful jfreechart library;



wenzelm


parents: 
50308

diff
changeset




    47


isabelle.theories-panel.label=Theories panel








34318






c13e168a8ae6
original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout;



wenzelm


parents: 

diff
changeset




    48









34421






c57a53d4469a
added author field;



wenzelm


parents: 
34420

diff
changeset




    49


#dockables








50433






9131dadb2bf7
basic monitor panel, using the powerful jfreechart library;



wenzelm


parents: 
50308

diff
changeset




    50


isabelle-info.title=Info













9131dadb2bf7
basic monitor panel, using the powerful jfreechart library;



wenzelm


parents: 
50308

diff
changeset




    51


isabelle-monitor.title=Monitor








34773






bb5d68f7fd5e
renamed "raw output" to "protocol";



wenzelm


parents: 
34760

diff
changeset




    52


isabelle-output.title=Output








50433






9131dadb2bf7
basic monitor panel, using the powerful jfreechart library;



wenzelm


parents: 
50308

diff
changeset




    53


isabelle-protocol.title=Protocol








37065






2a73253b5898
separate event bus and dockable for raw output (stdout);



wenzelm


parents: 
36817

diff
changeset




    54


isabelle-raw-output.title=Raw Output








48014






63021e59cbf0
separate README dockable, which allows to make it more prominent first and remove it later;



wenzelm


parents: 
45446

diff
changeset




    55


isabelle-readme.title=README








50433






9131dadb2bf7
basic monitor panel, using the powerful jfreechart library;



wenzelm


parents: 
50308

diff
changeset




    56


isabelle-symbols.title=Symbols








48021






d899be1cfe6d
separate syslog dockable -- discontinued tendency of sub-window management via tabs;



wenzelm


parents: 
48020

diff
changeset




    57


isabelle-syslog.title=Syslog








50433






9131dadb2bf7
basic monitor panel, using the powerful jfreechart library;



wenzelm


parents: 
50308

diff
changeset




    58


isabelle-theories.title=Theories








34318






c13e168a8ae6
original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout;



wenzelm


parents: 

diff
changeset




    59









34421






c57a53d4469a
added author field;



wenzelm


parents: 
34420

diff
changeset




    60


#SideKick








48718






73e6c22e2d94
more structural parsing for minor modes;



wenzelm


parents: 
48717

diff
changeset




    61


mode.isabelle-options.folding=sidekick








48717






622251b2b0f1
clarified Sidekick configuration, including minor modes;



wenzelm


parents: 
48021

diff
changeset




    62


mode.isabelle-options.sidekick.parser=isabelle-options








48718






73e6c22e2d94
more structural parsing for minor modes;



wenzelm


parents: 
48717

diff
changeset




    63


mode.isabelle-root.folding=sidekick








48717






622251b2b0f1
clarified Sidekick configuration, including minor modes;



wenzelm


parents: 
48021

diff
changeset




    64


mode.isabelle-root.sidekick.parser=isabelle-root













622251b2b0f1
clarified Sidekick configuration, including minor modes;



wenzelm


parents: 
48021

diff
changeset




    65


mode.isabelle.customSettings=true













622251b2b0f1
clarified Sidekick configuration, including minor modes;



wenzelm


parents: 
48021

diff
changeset




    66


mode.isabelle.folding=sidekick








48718






73e6c22e2d94
more structural parsing for minor modes;



wenzelm


parents: 
48717

diff
changeset




    67


mode.isabelle.sidekick.parser=isabelle













73e6c22e2d94
more structural parsing for minor modes;



wenzelm


parents: 
48717

diff
changeset




    68


mode.isabelle.sidekick.showStatusWindow.label=true













73e6c22e2d94
more structural parsing for minor modes;



wenzelm


parents: 
48717

diff
changeset




    69


mode.ml.sidekick.parser=isabelle













73e6c22e2d94
more structural parsing for minor modes;



wenzelm


parents: 
48717

diff
changeset




    70


sidekick.parser.isabelle.label=Isabelle








48717






622251b2b0f1
clarified Sidekick configuration, including minor modes;



wenzelm


parents: 
48021

diff
changeset




    71
















isabelle