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
Thu, 31 Dec 2015 21:46:31 +0100
changeset 62019 9de1eb745aeb
parent 61746 3df1b6a5837c
child 62674 6cfa0de8bb99
permissions -rw-r--r--
updated for release;
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








62019






9de1eb745aeb
updated for release;



wenzelm


parents: 
61746

diff
changeset




     7


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













9de1eb745aeb
updated for release;



wenzelm


parents: 
61746

diff
changeset




     8


plugin.isabelle.jedit.Plugin.version=7.0








49566






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








61511






d40f906bb13f
updated to jedit-5.3.0 and SideKick 1.8;



wenzelm


parents: 
61208

diff
changeset




    17


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








58896






5a2f475e2ded
approximative update of versions;



wenzelm


parents: 
58698

diff
changeset




    18


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













5a2f475e2ded
approximative update of versions;



wenzelm


parents: 
58698

diff
changeset




    19


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








61511






d40f906bb13f
updated to jedit-5.3.0 and SideKick 1.8;



wenzelm


parents: 
61208

diff
changeset




    20


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








61746






3df1b6a5837c
paint gutter text on base line of main text area, to accomodate extra line spacing without special tricks (see also jEdit bug #3717 and its fix in SVN 23977, which does not quite work: odd jumping positions on vertical cursor movement);



wenzelm


parents: 
61511

diff
changeset




    21


plugin.isabelle.jedit.Plugin.depend.5=plugin gatchan.highlight.HighlightPlugin 2.2








34418






5f25eb86c6a0
renamed IsabellePlugin to Isabelle;



wenzelm


parents: 
34393

diff
changeset




    22









34420






4187cec99c11
regular plugin activation via "defer";



wenzelm


parents: 
34418

diff
changeset




    23


#options








49354






65c6a1d62dbc
more scalable option-group;



wenzelm


parents: 
49245

diff
changeset




    24


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













65c6a1d62dbc
more scalable option-group;



wenzelm


parents: 
49245

diff
changeset




    25


options.isabelle-general.label=General













65c6a1d62dbc
more scalable option-group;



wenzelm


parents: 
49245

diff
changeset




    26


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













65c6a1d62dbc
more scalable option-group;



wenzelm


parents: 
49245

diff
changeset




    27


options.isabelle-rendering.label=Rendering













65c6a1d62dbc
more scalable option-group;



wenzelm


parents: 
49245

diff
changeset




    28


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








34420






4187cec99c11
regular plugin activation via "defer";



wenzelm


parents: 
34418

diff
changeset




    29









55558






298274c970b6
more uniform treatment of dockables and their standard actions;



wenzelm


parents: 
55557

diff
changeset




    30


#menu actions and dockables








34318






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



wenzelm


parents: 

diff
changeset




    31


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








50433






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



wenzelm


parents: 
50308

diff
changeset




    32


plugin.isabelle.jedit.Plugin.menu= \








60749






f727b99faaf7
skeleton for interactive debugger;



wenzelm


parents: 
60295

diff
changeset




    33


  isabelle-debugger \








55558






298274c970b6
more uniform treatment of dockables and their standard actions;



wenzelm


parents: 
55557

diff
changeset




    34


  isabelle-documentation \













298274c970b6
more uniform treatment of dockables and their standard actions;



wenzelm


parents: 
55557

diff
changeset




    35


  isabelle-monitor \













298274c970b6
more uniform treatment of dockables and their standard actions;



wenzelm


parents: 
55557

diff
changeset




    36


  isabelle-output \













298274c970b6
more uniform treatment of dockables and their standard actions;



wenzelm


parents: 
55557

diff
changeset




    37


  isabelle-protocol \








56879






ee2b61f37ad9
renamed "Find" to "Query", with more general operations;



wenzelm


parents: 
56507

diff
changeset




    38


  isabelle-query \








55558






298274c970b6
more uniform treatment of dockables and their standard actions;



wenzelm


parents: 
55557

diff
changeset




    39


  isabelle-raw-output \













298274c970b6
more uniform treatment of dockables and their standard actions;



wenzelm


parents: 
55557

diff
changeset




    40


  isabelle-simplifier-trace \













298274c970b6
more uniform treatment of dockables and their standard actions;



wenzelm


parents: 
55557

diff
changeset




    41


  isabelle-sledgehammer \








61208






19118f9b939d
separate panel for proof state output;



wenzelm


parents: 
60749

diff
changeset




    42


  isabelle-state \








55558






298274c970b6
more uniform treatment of dockables and their standard actions;



wenzelm


parents: 
55557

diff
changeset




    43


  isabelle-symbols \













298274c970b6
more uniform treatment of dockables and their standard actions;



wenzelm


parents: 
55557

diff
changeset




    44


  isabelle-syslog \













298274c970b6
more uniform treatment of dockables and their standard actions;



wenzelm


parents: 
55557

diff
changeset




    45


  isabelle-theories \













298274c970b6
more uniform treatment of dockables and their standard actions;



wenzelm


parents: 
55557

diff
changeset




    46


  isabelle-timing








60749






f727b99faaf7
skeleton for interactive debugger;



wenzelm


parents: 
60295

diff
changeset




    47


isabelle-debugger.label=Debugger panel













f727b99faaf7
skeleton for interactive debugger;



wenzelm


parents: 
60295

diff
changeset




    48


isabelle-debugger.title=Debugger








55558






298274c970b6
more uniform treatment of dockables and their standard actions;



wenzelm


parents: 
55557

diff
changeset




    49


isabelle-documentation.label=Documentation panel













298274c970b6
more uniform treatment of dockables and their standard actions;



wenzelm


parents: 
55557

diff
changeset




    50


isabelle-documentation.title=Documentation













298274c970b6
more uniform treatment of dockables and their standard actions;



wenzelm


parents: 
55557

diff
changeset




    51


isabelle-graphview.label=Graphview panel








50454






f4f5f98069a0
recovered title property from bfb5964e3041;



wenzelm


parents: 
50452

diff
changeset




    52


isabelle-graphview.title=Graphview








55558






298274c970b6
more uniform treatment of dockables and their standard actions;



wenzelm


parents: 
55557

diff
changeset




    53


isabelle-info.label=Info panel








50433






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



wenzelm


parents: 
50308

diff
changeset




    54


isabelle-info.title=Info








55558






298274c970b6
more uniform treatment of dockables and their standard actions;



wenzelm


parents: 
55557

diff
changeset




    55


isabelle-monitor.label=Monitor panel








50433






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



wenzelm


parents: 
50308

diff
changeset




    56


isabelle-monitor.title=Monitor








55558






298274c970b6
more uniform treatment of dockables and their standard actions;



wenzelm


parents: 
55557

diff
changeset




    57


isabelle-output.label=Output panel








34773






bb5d68f7fd5e
renamed "raw output" to "protocol";



wenzelm


parents: 
34760

diff
changeset




    58


isabelle-output.title=Output








55558






298274c970b6
more uniform treatment of dockables and their standard actions;



wenzelm


parents: 
55557

diff
changeset




    59


isabelle-protocol.label=Protocol panel








50433






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



wenzelm


parents: 
50308

diff
changeset




    60


isabelle-protocol.title=Protocol








56879






ee2b61f37ad9
renamed "Find" to "Query", with more general operations;



wenzelm


parents: 
56507

diff
changeset




    61


isabelle-query.label=Query panel













ee2b61f37ad9
renamed "Find" to "Query", with more general operations;



wenzelm


parents: 
56507

diff
changeset




    62


isabelle-query.title=Query








55558






298274c970b6
more uniform treatment of dockables and their standard actions;



wenzelm


parents: 
55557

diff
changeset




    63


isabelle-raw-output.label=Raw Output panel








37065






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



wenzelm


parents: 
36817

diff
changeset




    64


isabelle-raw-output.title=Raw Output








55558






298274c970b6
more uniform treatment of dockables and their standard actions;



wenzelm


parents: 
55557

diff
changeset




    65


isabelle-simplifier-trace.label=Simplifier Trace panel













298274c970b6
more uniform treatment of dockables and their standard actions;



wenzelm


parents: 
55557

diff
changeset




    66


isabelle-simplifier-trace.title=Simplifier Trace













298274c970b6
more uniform treatment of dockables and their standard actions;



wenzelm


parents: 
55557

diff
changeset




    67


isabelle-sledgehammer.label=Sledgehammer panel








52908






3461985dcbc3
dockable window for Sledgehammer, based on asynchronous/parallel query operation;



wenzelm


parents: 
52846

diff
changeset




    68


isabelle-sledgehammer.title=Sledgehammer








61208






19118f9b939d
separate panel for proof state output;



wenzelm


parents: 
60749

diff
changeset




    69


isabelle-state.label=State panel













19118f9b939d
separate panel for proof state output;



wenzelm


parents: 
60749

diff
changeset




    70


isabelle-state.title=State








55558






298274c970b6
more uniform treatment of dockables and their standard actions;



wenzelm


parents: 
55557

diff
changeset




    71


isabelle-symbols.label=Symbols panel








50433






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



wenzelm


parents: 
50308

diff
changeset




    72


isabelle-symbols.title=Symbols








55558






298274c970b6
more uniform treatment of dockables and their standard actions;



wenzelm


parents: 
55557

diff
changeset




    73


isabelle-syslog.label=Syslog panel








48021






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



wenzelm


parents: 
48020

diff
changeset




    74


isabelle-syslog.title=Syslog








55558






298274c970b6
more uniform treatment of dockables and their standard actions;



wenzelm


parents: 
55557

diff
changeset




    75


isabelle-theories.label=Theories panel








50433






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



wenzelm


parents: 
50308

diff
changeset




    76


isabelle-theories.title=Theories








55558






298274c970b6
more uniform treatment of dockables and their standard actions;



wenzelm


parents: 
55557

diff
changeset




    77


isabelle-timing.label=Timing panel








51533






3f6280aedbcc
dockable window for timing information;



wenzelm


parents: 
50728

diff
changeset




    78


isabelle-timing.title=Timing








34318






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



wenzelm


parents: 

diff
changeset




    79









34421






c57a53d4469a
added author field;



wenzelm


parents: 
34420

diff
changeset




    80


#SideKick








58542






19e062fbfea0
more advanced NEWS tree structure and folding;



wenzelm


parents: 
58526

diff
changeset




    81


mode.isabelle-news.folding=sidekick








52539






7658f8d7b2dc
minimal jedit mode for Isabelle NEWS;



wenzelm


parents: 
52445

diff
changeset




    82


mode.isabelle-news.sidekick.parser=isabelle-news








48718






73e6c22e2d94
more structural parsing for minor modes;



wenzelm


parents: 
48717

diff
changeset




    83


mode.isabelle-options.folding=sidekick








48717






622251b2b0f1
clarified Sidekick configuration, including minor modes;



wenzelm


parents: 
48021

diff
changeset




    84


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








48718






73e6c22e2d94
more structural parsing for minor modes;



wenzelm


parents: 
48717

diff
changeset




    85


mode.isabelle-root.folding=sidekick








48717






622251b2b0f1
clarified Sidekick configuration, including minor modes;



wenzelm


parents: 
48021

diff
changeset




    86


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













622251b2b0f1
clarified Sidekick configuration, including minor modes;



wenzelm


parents: 
48021

diff
changeset




    87


mode.isabelle.customSettings=true








58698






1be9855fb579
tuned signature;



wenzelm


parents: 
58542

diff
changeset




    88


mode.isabelle.folding=isabelle








48718






73e6c22e2d94
more structural parsing for minor modes;



wenzelm


parents: 
48717

diff
changeset




    89


mode.isabelle.sidekick.parser=isabelle













73e6c22e2d94
more structural parsing for minor modes;



wenzelm


parents: 
48717

diff
changeset




    90


mode.isabelle.sidekick.showStatusWindow.label=true













73e6c22e2d94
more structural parsing for minor modes;



wenzelm


parents: 
48717

diff
changeset




    91


mode.ml.sidekick.parser=isabelle













73e6c22e2d94
more structural parsing for minor modes;



wenzelm


parents: 
48717

diff
changeset




    92


sidekick.parser.isabelle.label=Isabelle








58542






19e062fbfea0
more advanced NEWS tree structure and folding;



wenzelm


parents: 
58526

diff
changeset




    93


mode.bibtex.folding=sidekick








58526






f05ccce3eca2
SideKick parser for bibtex entries;



wenzelm


parents: 
57033

diff
changeset




    94


mode.bibtex.sidekick.parser=bibtex















isabelle