From bd7da353ea503423206e329af7a56174cb39f435 Mon Sep 17 00:00:00 2001
From: ppedrot
Date: Fri, 21 Jun 2013 21:04:00 +0000
Subject: Splitted up Genarg in four different levels:

1. Genarg itself which only defines the abstract datatypes needed.
2. Genintern, first file of interp/, defining the intern and subst
   functions.
3. Geninterp, first file of tactics/, defining the interp function.
4. Genprint, first file of printing/, dealing with the printers.

The Genarg file has no dependency and is in lib/, so that we can put
generic arguments everywhere, and in particular in ASTs.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16601 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 dev/printers.mllib | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'dev')

diff --git a/dev/printers.mllib b/dev/printers.mllib
index 80eaa6b850..3a8a2cc3d8 100644
--- a/dev/printers.mllib
+++ b/dev/printers.mllib
@@ -34,6 +34,7 @@ Predicate
 Rtree
 Heap
 Dnet
+Genarg
 
 Names
 Univ
@@ -120,11 +121,11 @@ Cases
 Pretyping
 Declaremods
 
+Genprint
 Tok
 Lexer
 Ppextend
 Pputils
-Genarg
 Stdarg
 Constrarg
 Constrexpr_ops
-- 
cgit v1.2.3