From 56311ee6a9b5eca6470b3924f738a6b642750b9c Mon Sep 17 00:00:00 2001
From: Christian Bauer <Christian.Bauer@uni-mainz.de>
Date: Fri, 25 Oct 2002 18:15:58 +0000
Subject: [PATCH 1/1] documentation update

---
 NEWS | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/NEWS b/NEWS
index 9122ea08..2b5d81fc 100644
--- a/NEWS
+++ b/NEWS
@@ -3,6 +3,8 @@ This file records noteworthy changes.
 1.0.12 (<date>)
 * Fixed a bug in power::expand() that could produce invalid exressions.
 * The input parser no longer ignores extra data following accepted input.
+* Improved the CLN C-source output (integers are printed as integers, and
+  floating point numbers include the precision).
 
 1.0.11 (18 September 2002)
 * Fixed a possible memory corruption in contractions of indexed objects with
-- 
2.44.0