X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fcomponents%2Fcontent_pres%2FcicNotationLexer.mli;h=ee96b552cb661a09552b4bcdc2f83a303804f9da;hb=ae6757199708cc32166961debb52d48114c0eb74;hp=13f0150a8970da102d5794d4d43d4bb69d723a93;hpb=b40e4e96e85103c7072985990c6b541371fd5a48;p=helm.git

diff --git a/matitaB/components/content_pres/cicNotationLexer.mli b/matitaB/components/content_pres/cicNotationLexer.mli
index 13f0150a8..ee96b552c 100644
--- a/matitaB/components/content_pres/cicNotationLexer.mli
+++ b/matitaB/components/content_pres/cicNotationLexer.mli
@@ -39,6 +39,8 @@ type lexers = {
       level2_meta_lexer : (string * string) Token.glexer
 }
 
+val initial_keywords : string list 
+
 val mk_lexers : 
   (string option * string option) LocalizeEnv.t ref -> string list -> lexers