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;
authorwenzelm
Wed, 30 Dec 2009 13:21:46 +0100
changeset 34812 4c875ed8b248
parent 34811 958634b374c0
child 34813 f0107bc96961
updated;
src/Tools/jEdit/README_BUILD file | annotate | diff | comparison | revisions 
--- a/src/Tools/jEdit/README_BUILD	Tue Dec 29 22:05:23 2009 +0100
+++ b/src/Tools/jEdit/README_BUILD	Wed Dec 30 13:21:46 2009 +0100
@@ -13,7 +13,7 @@
   http://blogtrader.net/dcaoyuan/category/NetBeans
   http://wiki.netbeans.org/Scala
 
-* jEdit 4.3pre18
+* jEdit 4.3 (final)
   http://www.jedit.org/
 
   Netbeans Project "jEdit": install official sources as ./contrib/jEdit/.
isabelle