diff -r dfca7b555e5c -r 606850a6fc1a lib/jedit/plugin/Isabelle.props
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/lib/jedit/plugin/Isabelle.props	Sun Jan 06 16:57:25 2008 +0100
@@ -0,0 +1,25 @@
+## Isabelle plugin properties
+## $Id$
+
+#identification
+plugin.isabelle.IsabellePlugin.name = Isabelle
+plugin.isabelle.IsabellePlugin.author = Makarius
+plugin.isabelle.IsabellePlugin.version = 0.0.1
+plugin.isabelle.IsabellePlugin.description = Basic Isabelle support
+
+#system parameters
+plugin.isabelle.IsabellePlugin.activate = defer
+plugin.isabelle.IsabellePlugin.usePluginHome = false
+
+#dependencies
+plugin.isabelle.IsabellePlugin.depend.0 = jdk 1.5
+plugin.isabelle.IsabellePlugin.depend.1 = jedit 04.03.00.00
+plugin.isabelle.IsabellePlugin.depend.2 = plugin errorlist.ErrorListPlugin 1.7
+plugin.isabelle.IsabellePlugin.depend.3 = plugin sidekick.SideKickPlugin 0.7.4
+plugin.isabelle.IsabellePlugin.depend.4 = plugin console.ConsolePlugin 4.3.4
+
+#dockable component
+isabelle.label = Isabelle
+isabelle.title = Isabelle
+isabelle.longtitle = Basic Isabelle process
+