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.
updated to jedit 4.3.2;
authorwenzelm
Mon, 10 May 2010 15:18:57 +0200
changeset 36783 80ced7c7505f
parent 36782 0499d05663dd
child 36784 cf36fd1e4cda
updated to jedit 4.3.2;
src/Tools/jEdit/README_BUILD file | annotate | diff | comparison | revisions 
--- a/src/Tools/jEdit/README_BUILD	Mon May 10 15:01:25 2010 +0200
+++ b/src/Tools/jEdit/README_BUILD	Mon May 10 15:18:57 2010 +0200
@@ -13,7 +13,7 @@
   http://blogtrader.net/dcaoyuan/category/NetBeans
   http://wiki.netbeans.org/Scala
 
-* jEdit 4.3.1 (final)
+* jEdit 4.3.1 or 4.3.2
   http://www.jedit.org/
   Netbeans Project "jEdit": install official sources as ./contrib/jEdit/.
isabelle