From 63da69cff704be2da61f3cd311fa7a67dca6fc51 Mon Sep 17 00:00:00 2001
From: Jason Gross
Date: Tue, 16 Jan 2018 12:18:36 -0500
Subject: Add CHANGES entry for decimals in prelude

---
 CHANGES | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/CHANGES b/CHANGES
index 8d344d4f09..05337dc6c2 100644
--- a/CHANGES
+++ b/CHANGES
@@ -89,6 +89,15 @@ Documentation
   moved to the GitHub wiki section of this repository; the main entry
   page is https://github.com/coq/coq/wiki/The-Coq-FAQ.
 
+Standard Library
+
+- New libraries Coq.Init.Decimal, Coq.Numbers.DecimalFacts,
+  Coq.Numbers.DecimalNat, Coq.Numbers.DecimalPos,
+  Coq.Numbers.DecimalN, Coq.Numbers.DecimalZ,
+  Coq.Numbers.DecimalString providing a type of decimal numbers, some
+  facts about them, and conversions between decimal numbers and nat,
+  positive, N, Z, and string.
+
 Changes from 8.7.1 to 8.7.2
 ===========================
 
-- 
cgit v1.2.3