# HG changeset patch
# User wenzelm
# Date 1229780890 -3600
# Node ID 5f25eb86c6a0862ffcb75e50ae3b40c925772d22
# Parent  bce2f2ea981963ffceed8e513dfb5d93f1363225
renamed IsabellePlugin to Isabelle;
tuned properties according to http://isabelle.in.tum.de/repos/isabelle/file/b1c6f4563df7/lib/jedit/plugin/Isabelle.props;

diff -r bce2f2ea9819 -r 5f25eb86c6a0 src/Tools/jEdit/build.xml
--- a/src/Tools/jEdit/build.xml	Sat Dec 20 14:19:12 2008 +0100
+++ b/src/Tools/jEdit/build.xml	Sat Dec 20 14:48:10 2008 +0100
@@ -70,6 +70,6 @@
       <copy file="plugin/services.xml" todir="${build.classes.dir}" />
       <copy file="plugin/dockables.xml" todir="${build.classes.dir}" />
       <copy file="plugin/actions.xml" todir="${build.classes.dir}" />
-      <copy file="plugin/IsabellePlugin.props" todir="${build.classes.dir}" />
+      <copy file="plugin/Isabelle.props" todir="${build.classes.dir}" />
     </target>
 </project>
diff -r bce2f2ea9819 -r 5f25eb86c6a0 src/Tools/jEdit/plugin/Isabelle.props
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Tools/jEdit/plugin/Isabelle.props	Sat Dec 20 14:48:10 2008 +0100
@@ -0,0 +1,41 @@
+## Isabelle plugin properties
+
+#identification
+plugin.isabelle.jedit.Plugin.name=Isabelle
+plugin.isabelle.jedit.Plugin.version=0.0.1
+plugin.isabelle.jedit.Plugin.description=Isabelle/Isar proof document support
+
+#system parameters
+plugin.isabelle.jedit.Plugin.activate=startup
+plugin.isabelle.jedit.Plugin.option-pane=isabelle
+plugin.isabelle.jedit.Plugin.usePluginHome=false
+plugin.isabelle.jedit.Plugin.jars=isabelle-Pure.jar core-renderer.jar scala-library.jar
+
+#dependencies
+plugin.isabelle.jedit.Plugin.depend.0=jdk 1.5
+plugin.isabelle.jedit.Plugin.depend.1=jedit 04.03.14.00
+plugin.isabelle.jedit.Plugin.depend.2=plugin errorlist.ErrorListPlugin 1.7
+plugin.isabelle.jedit.Plugin.depend.3=plugin sidekick.SideKickPlugin 0.7.6
+
+#menu
+plugin.isabelle.jedit.Plugin.menu.label=Isabelle
+plugin.isabelle.jedit.Plugin.menu=Isabelle.show-output Isabelle.show-state Isabelle.activate Isabelle.show-scroller
+
+Isabelle.show-output.label=Show Output
+Isabelle.show-state.label=Show State
+Isabelle.show-scroller.label=Show Scroller
+Isabelle.activate.label=Activate current buffer
+
+Isabelle_output.title=Isabelle Output
+Isabelle_state.title=Isabelle State
+Isabelle_scroller.title=Isabelle Scroller
+
+#options
+options.isabelle.label=Isabelle
+options.isabelle.code=new isabelle.jedit.OptionPane();
+options.isabelle.font-path.title=Font Path
+options.isabelle.font-size.title=Font Size
+options.isabelle.font-size=14
+
+sidekick.parser.isabelle.label=Isabelle
+mode.text.sidekick.parser=isabelle
\ No newline at end of file
diff -r bce2f2ea9819 -r 5f25eb86c6a0 src/Tools/jEdit/plugin/IsabellePlugin.props
--- a/src/Tools/jEdit/plugin/IsabellePlugin.props	Sat Dec 20 14:19:12 2008 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,29 +0,0 @@
-# jEdit Properties
-
-plugin.isabelle.jedit.Plugin.activate=startup
-plugin.isabelle.jedit.Plugin.name=IsabellePlugin
-plugin.isabelle.jedit.Plugin.version=0.1
-plugin.isabelle.jedit.Plugin.description=Isabelle/Isar integration into jEdit
-plugin.isabelle.jedit.Plugin.option-pane=isabelle
-
-plugin.isabelle.jedit.Plugin.menu.label=Isabelle
-plugin.isabelle.jedit.Plugin.menu=Isabelle.show-output Isabelle.show-state Isabelle.activate Isabelle.show-scroller
-
-Isabelle.show-output.label=Show Output
-Isabelle.show-state.label=Show State
-Isabelle.show-scroller.label=Show Scroller
-Isabelle.activate.label=Activate current buffer
-
-Isabelle_output.title=Isabelle Output
-Isabelle_state.title=Isabelle State
-Isabelle_scroller.title=Isabelle Scroller
-
-options.isabelle.label=Isabelle
-options.isabelle.code=new isabelle.jedit.OptionPane();
-options.isabelle.font-path.title=Font Path
-options.isabelle.font-size.title=Font Size
-options.isabelle.font-size=14
-
-plugin.isabelle.jedit.Plugin.depend.1=plugin sidekick.SideKickPlugin 0.7.6
-sidekick.parser.isabelle.label=Isabelle
-mode.text.sidekick.parser=isabelle
\ No newline at end of file