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.
lib/jedit/plugin/Isabelle.props
author wenzelm
Thu, 23 Jul 2009 18:44:08 +0200
changeset 32148 253f6808dabe
parent 27997 64957539cdf4
permissions -rw-r--r--
renamed simpset_of to global_simpset_of, and local_simpset_of to simpset_of -- same for claset and clasimpset;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
25851
606850a6fc1a basic setup for Isabelle/jEdit plugin;
wenzelm
parents:
diff changeset 
     1
 
## Isabelle plugin properties
606850a6fc1a basic setup for Isabelle/jEdit plugin;
wenzelm
parents:
diff changeset 
     2
 
## $Id$
606850a6fc1a basic setup for Isabelle/jEdit plugin;
wenzelm
parents:
diff changeset 
     3
 












606850a6fc1a
basic setup for Isabelle/jEdit plugin;



wenzelm


parents: 

diff
changeset




     4


#identification








27985






fb774d10ea4c
repackaged as isabelle.jedit;



wenzelm


parents: 
25851

diff
changeset




     5


plugin.isabelle.jedit.IsabellePlugin.name = Isabelle













fb774d10ea4c
repackaged as isabelle.jedit;



wenzelm


parents: 
25851

diff
changeset




     6


plugin.isabelle.jedit.IsabellePlugin.author = Makarius













fb774d10ea4c
repackaged as isabelle.jedit;



wenzelm


parents: 
25851

diff
changeset




     7


plugin.isabelle.jedit.IsabellePlugin.version = 0.0.1













fb774d10ea4c
repackaged as isabelle.jedit;



wenzelm


parents: 
25851

diff
changeset




     8


plugin.isabelle.jedit.IsabellePlugin.description = Basic Isabelle support








25851






606850a6fc1a
basic setup for Isabelle/jEdit plugin;



wenzelm


parents: 

diff
changeset




     9














606850a6fc1a
basic setup for Isabelle/jEdit plugin;



wenzelm


parents: 

diff
changeset




    10


#system parameters








27985






fb774d10ea4c
repackaged as isabelle.jedit;



wenzelm


parents: 
25851

diff
changeset




    11


plugin.isabelle.jedit.IsabellePlugin.activate = defer













fb774d10ea4c
repackaged as isabelle.jedit;



wenzelm


parents: 
25851

diff
changeset




    12


plugin.isabelle.jedit.IsabellePlugin.usePluginHome = false








27997






64957539cdf4
explicitly depend on isabelle-Pure.jar and isabelle-scala-library.jar;



wenzelm


parents: 
27994

diff
changeset




    13


plugin.isabelle.jedit.IsabellePlugin.jars = isabelle-Pure.jar isabelle-scala-library.jar








25851






606850a6fc1a
basic setup for Isabelle/jEdit plugin;



wenzelm


parents: 

diff
changeset




    14














606850a6fc1a
basic setup for Isabelle/jEdit plugin;



wenzelm


parents: 

diff
changeset




    15


#dependencies








27985






fb774d10ea4c
repackaged as isabelle.jedit;



wenzelm


parents: 
25851

diff
changeset




    16


plugin.isabelle.jedit.IsabellePlugin.depend.0 = jdk 1.5













fb774d10ea4c
repackaged as isabelle.jedit;



wenzelm


parents: 
25851

diff
changeset




    17


plugin.isabelle.jedit.IsabellePlugin.depend.1 = jedit 04.03.00.00













fb774d10ea4c
repackaged as isabelle.jedit;



wenzelm


parents: 
25851

diff
changeset




    18


plugin.isabelle.jedit.IsabellePlugin.depend.2 = plugin errorlist.ErrorListPlugin 1.7













fb774d10ea4c
repackaged as isabelle.jedit;



wenzelm


parents: 
25851

diff
changeset




    19


plugin.isabelle.jedit.IsabellePlugin.depend.3 = plugin sidekick.SideKickPlugin 0.7.4








25851






606850a6fc1a
basic setup for Isabelle/jEdit plugin;



wenzelm


parents: 

diff
changeset




    20














606850a6fc1a
basic setup for Isabelle/jEdit plugin;



wenzelm


parents: 

diff
changeset




    21


#dockable component













606850a6fc1a
basic setup for Isabelle/jEdit plugin;



wenzelm


parents: 

diff
changeset




    22


isabelle.label = Isabelle













606850a6fc1a
basic setup for Isabelle/jEdit plugin;



wenzelm


parents: 

diff
changeset




    23


isabelle.title = Isabelle













606850a6fc1a
basic setup for Isabelle/jEdit plugin;



wenzelm


parents: 

diff
changeset




    24


isabelle.longtitle = Basic Isabelle process













606850a6fc1a
basic setup for Isabelle/jEdit plugin;



wenzelm


parents: 

diff
changeset




    25









27994






da9d38dcced3
removed unused ConsolePlugin dependency;



wenzelm


parents: 
27985

diff
changeset




    26


#menu













da9d38dcced3
removed unused ConsolePlugin dependency;



wenzelm


parents: 
27985

diff
changeset




    27


plugin.isabelle.jedit.IsabellePlugin.menu-item = isabelle













da9d38dcced3
removed unused ConsolePlugin dependency;



wenzelm


parents: 
27985

diff
changeset




    28














da9d38dcced3
removed unused ConsolePlugin dependency;



wenzelm


parents: 
27985

diff
changeset




    29














da9d38dcced3
removed unused ConsolePlugin dependency;



wenzelm


parents: 
27985

diff
changeset




    30


#Isabelle options













da9d38dcced3
removed unused ConsolePlugin dependency;



wenzelm


parents: 
27985

diff
changeset




    31


isabelle.print-modes = no_brackets no_type_brackets xsymbols













da9d38dcced3
removed unused ConsolePlugin dependency;



wenzelm


parents: 
27985

diff
changeset




    32


isabelle.logic =















isabelle