X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fpxp%2Fpxp%2Flexers%2Fpxp_lex_defs_iso88591.def;fp=helm%2FDEVEL%2Fpxp%2Fpxp%2Flexers%2Fpxp_lex_defs_iso88591.def;h=0000000000000000000000000000000000000000;hb=e108abe5c0b4eb841c4ad332229a6c0e57e70079;hp=b57da24cbbeaeec486a0c7d79c63802ed41132ea;hpb=1456c337a60f6677ee742ff7891d43fc382359a9;p=helm.git

diff --git a/helm/DEVEL/pxp/pxp/lexers/pxp_lex_defs_iso88591.def b/helm/DEVEL/pxp/pxp/lexers/pxp_lex_defs_iso88591.def
deleted file mode 100644
index b57da24cb..000000000
--- a/helm/DEVEL/pxp/pxp/lexers/pxp_lex_defs_iso88591.def
+++ /dev/null
@@ -1,85 +0,0 @@
-(* $Id$
- * ----------------------------------------------------------------------
- *
- *)
-
-let ws = [ ' ' '\t' '\r' '\n' ]
-
-(* Note: ISO-8859-1 charset does not have 'combining characters' *)
-
-let letter = ['A'-'Z' 'a'-'z' '\192'-'\214' '\216'-'\246' '\248'-'\255']
-let extender = '\183'
-let digit = ['0'-'9']
-let ascii_digit = ['0'-'9']
-let ascii_hexdigit = ['0'-'9' 'A'-'F' 'a'-'f']
-let namechar = letter | digit | '.' | ':' | '-' | '_' | extender
-let name = ( letter | '_' | ':' ) namechar*
-let nmtoken = namechar+
-
-let character = ['\009' '\010' '\013' '\032'-'\255']
-
-let character_except_question_mark =                    (* '?' = '\063' *)
-  [ '\009' '\010' '\013' '\032'-'\062' '\064'-'\255' ]
-
-let character_except_right_angle_bracket =              (* '>' = '\062' *)
-  [ '\009' '\010' '\013' '\032'-'\061' '\063'-'\255' ]
-
-let character_except_minus =                            (* '-' = '\045' *)
-  [ '\009' '\010' '\013' '\032'-'\044' '\046'-'\255' ]
-
-let character_except_quot =                             (* '"' = '\034' *)
-  [ '\009' '\010' '\013' '\032'-'\033' '\035'-'\255' ]
-
-let character_except_apos =                             (* '\'' = '\039' *)
-  [ '\009' '\010' '\013' '\032'-'\038' '\040'-'\255' ]
-
-let pi_string = character_except_question_mark* 
-                ( '?' character_except_right_angle_bracket 
-                      character_except_question_mark* )* 
-                '?'?
-
-let comment_string = character_except_minus* 
-                     ('-' character_except_minus+ )*
-
-let normal_character = 
-  [^ '&' '<' ']' '\000'-'\008' '\010'-'\031']
-
-let character_except_rbracket =                               (* ']' = '\093' *)
-  [ '\009' '\010' '\013' '\032'-'\092' '\094'-'\255' ]
-
-let character_except_rbracket_rangle =          (* ']' = '\093', '>' = '\062' *)
-  [ '\009' '\010' '\013' '\032'-'\061' '\063'-'\092' '\094'-'\255' ]
-
-let cdata_string = 
-  character_except_rbracket*
-  ( "]" character_except_rbracket+ |
-    "]]" ']'* character_except_rbracket_rangle character_except_rbracket*
-  )*
-  ']'*
-(* cdata_string = char* - ( char* ']]>' char* ) *)
-
-let printable_character_except_amp_lt =
-  (* '&' = '\038', '<' = '\060' *)
-  [ '\032'-'\037' '\039'-'\059' '\061'-'\255']
-
-let printable_character_except_amp_percent =
-  (* '%' = '\037', '&' = '\038' *)
-  [ '\032'-'\036' '\039'-'\255']
-
-let character_except_special =
-  (* '<'=060, ']'=093, '"'=034, '\''=039 *)
-  [ '\009' '\010' '\013' '\032'-'\033' '\035'-'\038' '\040'-'\059' 
-                         '\061'-'\092' '\094'-'\255' ]
-
-(* ======================================================================
- * History:
- * 
- * $Log$
- * Revision 1.1  2000/11/17 09:57:32  lpadovan
- * Initial revision
- *
- * Revision 1.1  2000/05/20 20:33:25  gerd
- * 	Initial revision.
- *
- * 
- *)