# HG changeset patch
# User haftmann
# Date 1335600226 -7200
# Node ID 903139ccd9bd32814a7e0a96d3f79ed17f09e62d
# Parent  d402ac2288b877ccb88b812ae12ee1e2c14dfc85
less confusion in NEWS

diff -r d402ac2288b8 -r 903139ccd9bd NEWS
--- 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]