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/README | 13 +++++++++++++
 1 file changed, 13 insertions(+)
 create mode 100644 src/pprint/README

(limited to 'src/pprint/README')

diff --git a/src/pprint/README b/src/pprint/README
new file mode 100644
index 00000000..7146250a
--- /dev/null
+++ b/src/pprint/README
@@ -0,0 +1,13 @@
+This is an adaptation of Daan Leijen's "PPrint" library, which itself is based
+on the ideas developed by Philip Wadler in "A Prettier Printer". For more
+information about Wadler's and Leijen's work, please consult the following
+references:
+
+   http://www.cs.uu.nl/~daan/pprint.html
+   http://homepages.inf.ed.ac.uk/wadler/papers/prettier/prettier.pdf
+
+To install PPrint, type "make -C src install". ocamlfind is required.
+
+The documentation for PPrint is built by "make doc" and is found in the
+file doc/index.html.
+
-- 
cgit v1.2.3