X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2FDEVEL%2Fpxp%2Fpxp%2Flexers%2Fpxp_lex_aux.src;fp=helm%2FDEVEL%2Fpxp%2Fpxp%2Flexers%2Fpxp_lex_aux.src;h=0000000000000000000000000000000000000000;hp=2ab21a3b3101c37f72414a3260b9e27213026c96;hb=3ef089a4c58fbe429dd539af6215991ecbe11ee2;hpb=1c7fb836e2af4f2f3d18afd0396701f2094265ff

diff --git a/helm/DEVEL/pxp/pxp/lexers/pxp_lex_aux.src b/helm/DEVEL/pxp/pxp/lexers/pxp_lex_aux.src
deleted file mode 100644
index 2ab21a3b3..000000000
--- a/helm/DEVEL/pxp/pxp/lexers/pxp_lex_aux.src
+++ /dev/null
@@ -1,82 +0,0 @@
-(* $Id$
- * ----------------------------------------------------------------------
- *
- *)
-
-
-  class dummy_entity = object end
-
-  let dummy_entity = ( new dummy_entity : entity_id )
-
-  (* The following tokens are pre-allocated to reduce the load on the
-   * GC.
-   *)
-
-  let tok_Doctype__Document_type = Doctype dummy_entity, Document_type
-  let tok_Ignore__Document       = Ignore, Document
-  let tok_Ignore__Within_tag     = Ignore, Within_tag
-  let tok_Ignore__Document_type  = Ignore, Document_type
-  let tok_Ignore__Declaration    = Ignore, Declaration
-  let tok_Ignore__Ignored        = Ignore, Ignored_section
-  let tok_Eof__Document          = Eof, Document
-  let tok_Eof__Content           = Eof, Content
-  let tok_Eof__Within_tag        = Eof, Within_tag
-  let tok_Eof__Document_type     = Eof, Document_type
-  let tok_Eof__Declaration       = Eof, Declaration
-  let tok_Eof__Ignored           = Eof, Ignored_section
-  let tok_LineEndCRLF__Content   = LineEnd "\r\n", Content
-  let tok_LineEndCR__Content     = LineEnd "\r", Content
-  let tok_LineEndLF__Content     = LineEnd "\n", Content
-  let tok_CharDataRBRACKET__Content = CharData "]", Content
-  let tok_Eq__Within_tag         = Eq, Within_tag
-  let tok_Rangle__Content        = Rangle, Content
-  let tok_Rangle_empty__Content  = Rangle_empty, Content
-  let tok_Dtd_begin__Declaration = Dtd_begin dummy_entity, Declaration
-  let tok_Doctype_rangle__Document = Doctype_rangle dummy_entity, Document
-  let tok_Percent__Declaration   = Percent, Declaration
-  let tok_Plus__Declaration      = Plus, Declaration
-  let tok_Star__Declaration      = Star, Declaration
-  let tok_Bar__Declaration       = Bar, Declaration
-  let tok_Comma__Declaration     = Comma, Declaration
-  let tok_Qmark__Declaration     = Qmark, Declaration
-  let tok_Lparen__Declaration    = Lparen dummy_entity, Declaration
-  let tok_RparenPlus__Declaration   = RparenPlus dummy_entity, Declaration
-  let tok_RparenStar__Declaration   = RparenStar dummy_entity, Declaration
-  let tok_RparenQmark__Declaration  = RparenQmark dummy_entity, Declaration
-  let tok_Rparen__Declaration    = Rparen dummy_entity, Declaration
-  let tok_Required__Declaration  = Required, Declaration
-  let tok_Implied__Declaration   = Implied, Declaration
-  let tok_Fixed__Declaration     = Fixed, Declaration
-  let tok_Pcdata__Declaration    = Pcdata, Declaration
-  let tok_Decl_element__Declaration  = Decl_element dummy_entity, Declaration
-  let tok_Decl_attlist__Declaration  = Decl_attlist dummy_entity, Declaration
-  let tok_Decl_entity__Declaration   = Decl_entity dummy_entity, Declaration
-  let tok_Decl_notation__Declaration = Decl_notation dummy_entity, Declaration
-  let tok_Conditional_begin__Declaration = Conditional_begin dummy_entity, 
-                                           Declaration 
-  let tok_Conditional_begin__Ignored     = Conditional_begin dummy_entity, 
-                                           Ignored_section
-  let tok_Conditional_end__Declaration   = Conditional_end dummy_entity, 
-                                           Declaration
-  let tok_Conditional_end__Ignored       = Conditional_end dummy_entity, 
-                                           Ignored_section
-  let tok_Conditional_body__Declaration  = Conditional_body dummy_entity, 
-                                           Declaration
-  let tok_Decl_rangle__Declaration   = Decl_rangle dummy_entity, Declaration
-  let tok_Dtd_end__Document_type     = Dtd_end dummy_entity, Document_type
-
-(* ======================================================================
- * History:
- * 
- * $Log$
- * Revision 1.1  2000/11/17 09:57:32  lpadovan
- * Initial revision
- *
- * Revision 1.2  2000/08/18 20:19:59  gerd
- * 	Comments return different comment tokens.
- *
- * Revision 1.1  2000/05/20 20:33:25  gerd
- * 	Initial revision.
- *
- * 
- *)