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.
less confusion in NEWS
authorhaftmann
Sat, 28 Apr 2012 10:03:46 +0200
changeset 47820 903139ccd9bd
parent 47819 d402ac2288b8
child 47821 a2d604542a34
less confusion in NEWS
NEWS file | annotate | diff | comparison | revisions 
--- a/NEWS	Sat Apr 28 09:55:01 2012 +0200
+++ b/NEWS	Sat Apr 28 10:03:46 2012 +0200
@@ -347,7 +347,7 @@
 
   converse_def ~> converse_unfold
   rel_comp_def ~> relcomp_unfold
-  symp_def ~> (dropped, use symp_def and sym_def instead)
+  symp_def ~> (modified, use symp_def and sym_def instead)
   transp_def ~> transp_trans
   Domain_def ~> Domain_unfold
   Range_def ~> Domain_converse [symmetric]
isabelle