isabelle: lib/jedit/plugin/Isabelle.props@efc6d38d16d2 (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
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
25851 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
27985 fb774d10ea4c repackaged as isabelle.jedit; wenzelm parents: 25851 diff changeset	15	plugin.isabelle.jedit.IsabellePlugin.depend.0 = jdk 1.5
fb774d10ea4c repackaged as isabelle.jedit; wenzelm parents: 25851 diff changeset	16	plugin.isabelle.jedit.IsabellePlugin.depend.1 = jedit 04.03.00.00
fb774d10ea4c repackaged as isabelle.jedit; wenzelm parents: 25851 diff changeset	17	plugin.isabelle.jedit.IsabellePlugin.depend.2 = plugin errorlist.ErrorListPlugin 1.7
fb774d10ea4c repackaged as isabelle.jedit; wenzelm parents: 25851 diff changeset	18	plugin.isabelle.jedit.IsabellePlugin.depend.3 = plugin sidekick.SideKickPlugin 0.7.4
fb774d10ea4c repackaged as isabelle.jedit; wenzelm parents: 25851 diff changeset	19	plugin.isabelle.jedit.IsabellePlugin.depend.4 = plugin console.ConsolePlugin 4.3.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

author	wenzelm
	Sun, 24 Aug 2008 19:24:27 +0200
changeset 27988	efc6d38d16d2
parent 27985	fb774d10ea4c
child 27994	da9d38dcced3
permissions	-rw-r--r--