# HG changeset patch
# User wenzelm
# Date 1493042185 -7200
# Node ID f8681c62959d421def81a77af8bb67c5090fe269
# Parent  10f4a17e5928b117654045afcba51782878adf5f
tuned;

diff -r 10f4a17e5928 -r f8681c62959d NEWS
--- a/NEWS	Mon Apr 24 13:58:38 2017 +0200
+++ b/NEWS	Mon Apr 24 15:56:25 2017 +0200
@@ -74,7 +74,7 @@
 *** HOL ***
 
 * Theories "GCD" and "Binomial" are already included in "Main" (instead
-of "Complex_Main".
+of "Complex_Main").
 
 * Constants E/L/F in Library/Formal_Power_Series were renamed to
 fps_exp/fps_ln/fps_hypergeo to avoid polluting the name space.