# HG changeset patch
# User wenzelm
# Date 1219594280 -7200
# Node ID fb774d10ea4c522f9a99c62b9655272aaec7fbc2
# Parent  b4dd58cff97c7954349c1d293cf614ae89fbb58e
repackaged as isabelle.jedit;

diff -r b4dd58cff97c -r fb774d10ea4c lib/jedit/plugin/Isabelle.props
--- a/lib/jedit/plugin/Isabelle.props	Sun Aug 24 17:23:42 2008 +0200
+++ b/lib/jedit/plugin/Isabelle.props	Sun Aug 24 18:11:20 2008 +0200
@@ -2,21 +2,21 @@
 ## $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
+plugin.isabelle.jedit.IsabellePlugin.name = Isabelle
+plugin.isabelle.jedit.IsabellePlugin.author = Makarius
+plugin.isabelle.jedit.IsabellePlugin.version = 0.0.1
+plugin.isabelle.jedit.IsabellePlugin.description = Basic Isabelle support
 
 #system parameters
-plugin.isabelle.IsabellePlugin.activate = defer
-plugin.isabelle.IsabellePlugin.usePluginHome = false
+plugin.isabelle.jedit.IsabellePlugin.activate = defer
+plugin.isabelle.jedit.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
+plugin.isabelle.jedit.IsabellePlugin.depend.0 = jdk 1.5
+plugin.isabelle.jedit.IsabellePlugin.depend.1 = jedit 04.03.00.00
+plugin.isabelle.jedit.IsabellePlugin.depend.2 = plugin errorlist.ErrorListPlugin 1.7
+plugin.isabelle.jedit.IsabellePlugin.depend.3 = plugin sidekick.SideKickPlugin 0.7.4
+plugin.isabelle.jedit.IsabellePlugin.depend.4 = plugin console.ConsolePlugin 4.3.4
 
 #dockable component
 isabelle.label = Isabelle
diff -r b4dd58cff97c -r fb774d10ea4c lib/jedit/plugin/dockables.xml
--- a/lib/jedit/plugin/dockables.xml	Sun Aug 24 17:23:42 2008 +0200
+++ b/lib/jedit/plugin/dockables.xml	Sun Aug 24 18:11:20 2008 +0200
@@ -4,7 +4,7 @@
 
 <DOCKABLES>
 	<DOCKABLE NAME="isabelle" MOVABLE="TRUE">
-		new isabelle.IsabelleDock(view, position);
+		new isabelle.jedit.IsabelleDock(view, position);
 	</DOCKABLE>
 </DOCKABLES>
 
diff -r b4dd58cff97c -r fb774d10ea4c lib/jedit/plugin/isabelle/IsabelleDock.scala
--- a/lib/jedit/plugin/isabelle/IsabelleDock.scala	Sun Aug 24 17:23:42 2008 +0200
+++ b/lib/jedit/plugin/isabelle/IsabelleDock.scala	Sun Aug 24 18:11:20 2008 +0200
@@ -5,7 +5,7 @@
 Dockable window for Isabelle process control.
 */
 
-package isabelle
+package isabelle.jedit
 
 import org.gjt.sp.jedit.View
 import org.gjt.sp.jedit.gui.DefaultFocusComponent
diff -r b4dd58cff97c -r fb774d10ea4c lib/jedit/plugin/isabelle/IsabelleParser.scala
--- a/lib/jedit/plugin/isabelle/IsabelleParser.scala	Sun Aug 24 17:23:42 2008 +0200
+++ b/lib/jedit/plugin/isabelle/IsabelleParser.scala	Sun Aug 24 18:11:20 2008 +0200
@@ -5,7 +5,7 @@
 Isabelle parser setup for Sidekick plugin.
 */
 
-package isabelle
+package isabelle.jedit
 
 import javax.swing.text.Position
 import javax.swing.tree.DefaultMutableTreeNode
diff -r b4dd58cff97c -r fb774d10ea4c lib/jedit/plugin/isabelle/IsabellePlugin.scala
--- a/lib/jedit/plugin/isabelle/IsabellePlugin.scala	Sun Aug 24 17:23:42 2008 +0200
+++ b/lib/jedit/plugin/isabelle/IsabellePlugin.scala	Sun Aug 24 18:11:20 2008 +0200
@@ -5,7 +5,7 @@
 Isabelle/jEdit plugin -- main setup.
 */
 
-package isabelle
+package isabelle.jedit
 
 import org.gjt.sp.jedit.EditPlugin
 import org.gjt.sp.util.Log
diff -r b4dd58cff97c -r fb774d10ea4c lib/jedit/plugin/mk
--- a/lib/jedit/plugin/mk	Sun Aug 24 17:23:42 2008 +0200
+++ b/lib/jedit/plugin/mk	Sun Aug 24 18:11:20 2008 +0200
@@ -16,7 +16,7 @@
 && (
   cp *.xml *.props build/
   cd build
-  jar cf ../../isabelle.jar isabelle/*.class *.xml *.props
+  jar cf ../../isabelle.jar .
 )
 
 rm -rf build/
diff -r b4dd58cff97c -r fb774d10ea4c lib/jedit/plugin/services.xml
--- a/lib/jedit/plugin/services.xml	Sun Aug 24 17:23:42 2008 +0200
+++ b/lib/jedit/plugin/services.xml	Sun Aug 24 18:11:20 2008 +0200
@@ -4,7 +4,7 @@
 
 <SERVICES>
   <SERVICE CLASS="sidekick.SideKickParser" NAME="isabelle">
-    new isabelle.IsabelleParser();
+    new isabelle.jedit.IsabelleParser();
   </SERVICE>
 </SERVICES>