X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2Ftext%2Ftxt.ml;h=dbcc0675c3f2e24fa7c4e646b2e0326d05179418;hb=85521efd364ec494e4cc024bbf87182a312e1b7b;hp=81c210852ebf924a9cc1fcce1890394d6e281bed;hpb=28430d599505ac26b51e4887e5196d9b380c898a;p=helm.git

diff --git a/helm/software/lambda-delta/text/txt.ml b/helm/software/lambda-delta/text/txt.ml
index 81c210852..dbcc0675c 100644
--- a/helm/software/lambda-delta/text/txt.ml
+++ b/helm/software/lambda-delta/text/txt.ml
@@ -34,7 +34,10 @@ and term = Sort of ix                      (* level                          *)
 	 | Inst of term * term list        (* function, arguments            *)
 	 | Impl of bool * id * term * term (* strong?, label, source, target *)
 
-type command = Graph of id                       (* hierarchy graph: name *) 
+type command = Require of id list                (* required files: names *)
+             | Graph of id                       (* hierarchy graph: name *) 
              | Sorts of (int option * id) list   (* sorts: index, name *)
 	     | Section of id option              (* section: Some id = open, None = close last *)
 	     | Entity of kind * id * desc * term (* entity: class, name, description, contents *) 
+             | Generate of term list             (* predefined generated entity: arguments *)
+