# HG changeset patch
# User wenzelm
# Date 1532282463 -7200
# Node ID 14167c321d222b3628414ed97fe65205f7b8bde0
# Parent  0a0e683695862ba1b40d1f873a6de4eb9ba29799
tuned;

diff -r 0a0e68369586 -r 14167c321d22 NEWS
--- a/NEWS	Sun Jul 22 19:57:42 2018 +0200
+++ b/NEWS	Sun Jul 22 20:01:03 2018 +0200
@@ -417,6 +417,7 @@
 
 * Session HOL-Real_Asymp: proof method "real_asymp" proves asymptotics
 or real-valued functions (limits, "Big-O", etc.) automatically.
+See also ~~/src/HOL/Real_Asymp/Manual for some documentation.
 
 * Session HOL-Types_To_Sets: more tool support (unoverload_type combines
 internalize_sorts and unoverload) and larger experimental application