--- /dev/null
+(* $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.
+ *
+ *
+ *)