Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
NEWS
changeset 47820 903139ccd9bd
parent 47809 4d8cbea248b0
child 47827 13530d774a21 
--- 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