Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
fixed jEdit version;
authorwenzelm
Mon, 20 Oct 2008 12:05:08 +0200
changeset 34326 9f9e1fe156a8
parent 34325 a9b94b8f545e
child 34327 2c0d71323619
fixed jEdit version;
src/Tools/jEdit/README_BUILD file | annotate | diff | comparison | revisions 
--- a/src/Tools/jEdit/README_BUILD	Mon Oct 20 11:44:59 2008 +0200
+++ b/src/Tools/jEdit/README_BUILD	Mon Oct 20 12:05:08 2008 +0200
@@ -12,7 +12,7 @@
   http://wiki.netbeans.org/Scala
   http://plugins.netbeans.org/PluginPortal/faces/PluginDetailPage.jsp?pluginid=11854
 
-* jEdit 1.4.3pre14 or similar
+* jEdit 4.3pre14 or similar
   http://www.jedit.org/
   Netbeans Library "jEdit" = .../jedit.jar
isabelle