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.
tuned;
authorwenzelm
Sun, 16 Jan 2011 21:10:30 +0100
changeset 41597 ced4f78bb728
parent 41596 e424bc65080d
child 41598 2049f179aa21
child 41601 fda8511006f9
child 41652 4f4336e730b9
tuned;
NEWS file | annotate | diff | comparison | revisions 
--- a/NEWS	Sun Jan 16 21:05:10 2011 +0100
+++ b/NEWS	Sun Jan 16 21:10:30 2011 +0100
@@ -8,7 +8,9 @@
 
 * Experimental Prover IDE based on Isabelle/Scala and jEdit (see
 src/Tools/jEdit).  A bundled component provides "isabelle jedit" as
-executable Isabelle tool.
+executable Isabelle tool.  Note that this also serves as IDE for
+Isabelle/ML, with useful tooltips and hyperlinks produced from its
+static analysis.
 
 * Significantly improved Isabelle/Isar implementation manual.
isabelle