# HG changeset patch
# User wenzelm
# Date 1243678300 -7200
# Node ID aaa147cd92f911c273c1d7353ae8d4ca8973b880
# Parent  f5c3ad245539efd7db0f6c4d3533ecdb2d4d5f44# Parent  014f67650212da12fee21458c5e7d8d3a3d9c919
merged

diff -r f5c3ad245539 -r aaa147cd92f9 src/Tools/jEdit/README_BUILD
--- a/src/Tools/jEdit/README_BUILD	Wed May 27 17:13:58 2009 +0200
+++ b/src/Tools/jEdit/README_BUILD	Sat May 30 12:11:40 2009 +0200
@@ -13,14 +13,10 @@
   http://wiki.netbeans.org/Scala
   http://plugins.netbeans.org/PluginPortal/faces/PluginDetailPage.jsp?pluginid=11854
 
-* jEdit 4.3pre16 or similar
+* jEdit 4.3pre16
   http://www.jedit.org/
 
-  Netbeans Library "jEdit" = .../jedit.jar
-
-  or
-
-  Netbeans Project "jEdit" (see below)
+  Netbeans Project "jEdit": unpack official sources in ./contrib/jEdit
 
 * Flying Saucer XHTML renderer
   https://xhtmlrenderer.dev.java.net/
@@ -30,14 +26,6 @@
   Netbeans Library "Isabelle-Pure" = ~~/lib/classes/Pure.jar
 
 
-Auxiliary projects
-==================
-
-* project "jEdit"
-  . unpack official sources .../jEdit
-  . add content of ./contrib/jEdit
-
-
 Running the application within Netbeans
 =======================================
 
diff -r f5c3ad245539 -r aaa147cd92f9 src/Tools/jEdit/plugin/Isabelle.props
--- a/src/Tools/jEdit/plugin/Isabelle.props	Wed May 27 17:13:58 2009 +0200
+++ b/src/Tools/jEdit/plugin/Isabelle.props	Sat May 30 12:11:40 2009 +0200
@@ -4,7 +4,7 @@
 
 #identification
 plugin.isabelle.jedit.Plugin.name=Isabelle
-plugin.isabelle.jedit.Plugin.author=Johannes H�lzl, Fabian Immler, Makarius Wenzel
+plugin.isabelle.jedit.Plugin.author=Johannes Hölzl, Fabian Immler, Makarius Wenzel
 plugin.isabelle.jedit.Plugin.version=0.0.1
 plugin.isabelle.jedit.Plugin.description=Isabelle/Isar live document editing