isabelle: lib/jedit/plugin/Isabelle.props@2cf13a72e170 (annotated)

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
606850a6fc1a basic setup for Isabelle/jEdit plugin; wenzelm parents: diff changeset	5	plugin.isabelle.IsabellePlugin.name = Isabelle
606850a6fc1a basic setup for Isabelle/jEdit plugin; wenzelm parents: diff changeset	6	plugin.isabelle.IsabellePlugin.author = Makarius
606850a6fc1a basic setup for Isabelle/jEdit plugin; wenzelm parents: diff changeset	7	plugin.isabelle.IsabellePlugin.version = 0.0.1
606850a6fc1a basic setup for Isabelle/jEdit plugin; wenzelm parents: diff changeset	8	plugin.isabelle.IsabellePlugin.description = Basic Isabelle support
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
606850a6fc1a basic setup for Isabelle/jEdit plugin; wenzelm parents: diff changeset	11	plugin.isabelle.IsabellePlugin.activate = defer
606850a6fc1a basic setup for Isabelle/jEdit plugin; wenzelm parents: diff changeset	12	plugin.isabelle.IsabellePlugin.usePluginHome = false
606850a6fc1a basic setup for Isabelle/jEdit plugin; wenzelm parents: diff changeset	13
606850a6fc1a basic setup for Isabelle/jEdit plugin; wenzelm parents: diff changeset	14	#dependencies
606850a6fc1a basic setup for Isabelle/jEdit plugin; wenzelm parents: diff changeset	15	plugin.isabelle.IsabellePlugin.depend.0 = jdk 1.5
606850a6fc1a basic setup for Isabelle/jEdit plugin; wenzelm parents: diff changeset	16	plugin.isabelle.IsabellePlugin.depend.1 = jedit 04.03.00.00
606850a6fc1a basic setup for Isabelle/jEdit plugin; wenzelm parents: diff changeset	17	plugin.isabelle.IsabellePlugin.depend.2 = plugin errorlist.ErrorListPlugin 1.7
606850a6fc1a basic setup for Isabelle/jEdit plugin; wenzelm parents: diff changeset	18	plugin.isabelle.IsabellePlugin.depend.3 = plugin sidekick.SideKickPlugin 0.7.4
606850a6fc1a basic setup for Isabelle/jEdit plugin; wenzelm parents: diff changeset	19	plugin.isabelle.IsabellePlugin.depend.4 = plugin console.ConsolePlugin 4.3.4
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

author	wenzelm
	Sun, 08 Jun 2008 14:31:06 +0200
changeset 27094	2cf13a72e170
parent 25851	606850a6fc1a
child 27985	fb774d10ea4c
permissions	-rw-r--r--