From d6b6deb1cb02dca80349aa30221ea8569e72d9da Mon Sep 17 00:00:00 2001
From: Regis-Gianas <yrg@pps.univ-paris-diderot.fr>
Date: Tue, 4 Nov 2014 12:05:53 +0100
Subject: printing/RichPrinter: New API for rich pretty-printing.
 printing/Ppannotation: Define the projection of annotations into XML
 attributes. lib/richPp: Implements valid entities escaping.

---
 printing/printing.mllib | 1 +
 1 file changed, 1 insertion(+)

(limited to 'printing/printing.mllib')

diff --git a/printing/printing.mllib b/printing/printing.mllib
index 01c835d89..713c2dee6 100644
--- a/printing/printing.mllib
+++ b/printing/printing.mllib
@@ -9,3 +9,4 @@ Printmod
 Prettyp
 Ppvernac
 Ppvernacsig
+RichPrinter
-- 
cgit v1.2.3