diff etc/NEWS @ 59651:939528a9d14b

Add dotimes-with-progress-reporter.
author Stefan Monnier <monnier@iro.umontreal.ca>
date Wed, 19 Jan 2005 23:47:35 +0000
parents 18462b0e2a00
children 5c0ac872ffdb
line wrap: on
line diff
--- a/etc/NEWS	Wed Jan 19 23:46:31 2005 +0000
+++ b/etc/NEWS	Wed Jan 19 23:47:35 2005 +0000
@@ -2512,9 +2512,9 @@
 
 +++
 ** New functions `make-progress-reporter', `progress-reporter-update',
-`progress-reporter-force-update' and `progress-reporter-done' provide
-a simple and efficient way for a command to present progress messages
-for the user.
+`progress-reporter-force-update', `progress-reporter-done', and
+`dotimes-with-progress-reporter' provide a simple and efficient way for
+a command to present progress messages for the user.
 
 ---
 ** To manipulate the File menu using easy-menu, you must specify the