1 files changed, 28 insertions, 21 deletions

diff --git a/dev/printers.mllib b/dev/printers.mllib
index ab7e9fc3..31654954 100644
--- a/dev/printers.mllib
+++ b/dev/printers.mllib
@@ -8,6 +8,7 @@ Hashcons
 CSet
 CMap
 Int
+Dyn
 HMap
 Option
 Store
@@ -18,26 +19,29 @@ Pp_control
 Loc
 CList
 CString
+Tok
 Compat
 Flags
 Control
 Loc
 Serialize
 Stateid
-Feedback
-Pp
-Segmenttree
-Unicodetable
-Unicode
 CObj
 CArray
 CStack
 Util
+Pp
 Ppstyle
-Errors
+Richpp
+Feedback
+Segmenttree
+Unicodetable
+Unicode
+CErrors
+CWarnings
 Bigint
-Dyn
 CUnix
+Minisys
 System
 Envars
 Aux_file
@@ -48,13 +52,14 @@ Rtree
 Heap
 Genarg
 Stateid
-Ephemeron
+CEphemeron
 Future
 RemoteCounter
 Monad
 
 Names
 Univ
+UGraph
 Esubst
 Uint31
 Sorts
@@ -81,7 +86,7 @@ Nativecode
 Nativelib
 Cbytegen
 Environ
-Closure
+CClosure
 Reduction
 Nativeconv
 Type_errors
@@ -116,17 +121,21 @@ Miscops
 Universes
 Termops
 Namegen
+UState
 Evd
+Sigma
 Glob_ops
 Redops
+Pretype_errors
+Evarutil
 Reductionops
 Inductiveops
 Arguments_renaming
 Nativenorm
 Retyping
 Cbv
-Pretype_errors
-Evarutil
+
+Evardefine
 Evarsolve
 Recordops
 Evarconv
@@ -137,6 +146,11 @@ Find_subterm
 Tacred
 Classops
 Typeclasses_errors
+Logic_monad
+Proofview_monad
+Proofview
+Ftactic
+Geninterp
 Typeclasses
 Detyping
 Indrec
@@ -150,8 +164,7 @@ Library
 States
 
 Genprint
-Tok
-Lexer
+CLexer
 Ppextend
 Pputils
 Ppannotation
@@ -171,21 +184,16 @@ Implicit_quantifiers
 Constrintern
 Modintern
 Constrextern
-Proof_type
 Goal
 Miscprint
 Logic
 Refiner
 Clenv
 Evar_refiner
-Proof_errors
-Logic_monad
-Proofview_monad
-Proofview
+Refine
 Proof
 Proof_global
 Pfedit
-Tactic_debug
 Decl_mode
 Ppconstr
 Pcoq
@@ -195,13 +203,12 @@ Ppdecl_proof
 Egramml
 Egramcoq
 Tacsubst
-Tacenv
 Trie
 Dn
 Btermdn
 Hints
 Himsg
-Cerrors
+ExplainErr
 Locality
 Assumptions
 Vernacinterp