From 242bcdc7cc2ae71c6c9c25dcc89f65db1c82d557 Mon Sep 17 00:00:00 2001
From: Gabriel Kerneis
Date: Thu, 1 May 2014 13:28:53 +0100
Subject: Import pprint library

---
 src/pprint/CHANGES | 27 +++++++++++++++++++++++++++
 1 file changed, 27 insertions(+)
 create mode 100644 src/pprint/CHANGES

(limited to 'src/pprint/CHANGES')

diff --git a/src/pprint/CHANGES b/src/pprint/CHANGES
new file mode 100644
index 00000000..69747a41
--- /dev/null
+++ b/src/pprint/CHANGES
@@ -0,0 +1,27 @@
+2014/04/11
+Changed the behavior of [align], which was not consistent with its documentation.
+[align] now sets the indentation level to the current column. In particular, this
+means that [align (align d)] is equivalent to [align d], which was not the case
+previously. Thanks to Dmitry Grebeniuk for reporting this issue.
+
+2014/04/03
+The library is now extensible (in principle). A [custom] document constructor
+allows the user to define her own documents, as long as they fit the manner
+in which the current rendering engine works.
+
+The [compact] rendering engine is now tail-recursive too.
+
+2014/03/21
+Minor optimisation in the smart constructor [group].
+
+2014/03/13
+New (simpler) pretty-printing engine. The representation of documents in
+memory is slightly larger; document construction is perhaps slightly slower,
+while rendering is significantly faster. (Construction dominates rendering.)
+The rendering speed is now guaranteed to be independent of the width
+parameter. The price to pay for this simplification is that the primitive
+document constructors [column] and [nesting] are no longer supported. The
+API is otherwise unchanged.
+
+2013/01/31
+First official release of PPrint.
-- 
cgit v1.2.3