# HG changeset patch
# User avigad
# Date 1122659261 -7200
# Node ID f99dd1274c5fa4f511115bc14dcbc8a2860af640
# Parent  9c5871b16553a57cf2d7f0a575e720ba31a7bf6d
mentioned Ln in NEWS

diff -r 9c5871b16553 -r f99dd1274c5f NEWS
--- a/NEWS	Fri Jul 29 19:47:34 2005 +0200
+++ b/NEWS	Fri Jul 29 19:47:41 2005 +0200
@@ -391,6 +391,8 @@
 
 * Theory RComplete: expanded support for floor and ceiling functions.
 
+* Theory Ln is new, with properties of the natural logarithm
+
 
 *** HOLCF ***