diff options
| author | Thomas Bauereiss | 2020-01-28 16:45:51 +0000 |
|---|---|---|
| committer | Thomas Bauereiss | 2020-01-28 18:20:01 +0000 |
| commit | 6631de4f641607755ae8c0434921e4f68cf9f2f6 (patch) | |
| tree | 831b25b3e46c29b8ca87be7d25bab8b5fdd2ae16 /src/pprint/README | |
| parent | b564a217416afc8df471d3e97cff8168efd804b1 (diff) | |
Use external PPrint
Diffstat (limited to 'src/pprint/README')
| -rw-r--r-- | src/pprint/README | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/src/pprint/README b/src/pprint/README deleted file mode 100644 index 7146250a..00000000 --- a/src/pprint/README +++ /dev/null @@ -1,13 +0,0 @@ -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. - |