Check type definitions, that all types are used, and some related

stuff.  Renamed ENUMREATION_OF to ENUMERATION-OF.  Minor fixes to the
protocol specification.  @reqdlink now works when using TeX.

ChangeLog

+2001-04-30  Per Cederqvist  <ceder@moria>
+
+	Check type definitions, that all types are used, and some related
+	stuff.  Renamed ENUMREATION_OF to ENUMERATION-OF.
+	* doc/Protocol-A.texi (Simple Data Types): Renamed ENUMERATION_OF
+	to ENUMERATION-OF.  Nothing else uses "_".  The only user updated.
+	(LysKOM Data Types): Missing semicolon added.
+	* doc/checkargs.py (defined_types): New variable.
+	(number_suffixed): New function.
+	(prot_a_type): New class, with several derived classes.
+	(reader.error): Allow the line number to be a string, such as
+	'*builtin*'.
+	(lexer.__init__): Added 'ENUMERATION-OF' to the set of builtin
+	aggregates.  Add builtin types to defined_types.
+	(lexer): Ignore @dots{}.
+	(lexer.toplevel_bye): Check that all defined types are used.
+	(lexer.toplevel_tindex): Pass a list of the @tindex entries to
+	__parse_userdefined_types, so that that function can check that
+	they are all defined.
+	(lexer.__parse_userdefined_types): Implemented.  Several helper
+	functions introduced.
+	(lexer.__parse_type): Simplified.  Do some error checking and
+	bookkeeping.  Return a tuple, so that it is easier for the caller
+	to see if an array was used.  All callers updated.
+	(lexer.__bad_arg): Accept "reservedX" and "flgX" for numerical
+	values of X.
+	(lexer.__get_token): Handle the new tokens "::=", "|" and "=".
+	Ignore comments (introduced with "!").
+
+2001-04-29  Per Cederqvist  <ceder@moria>
+
+	Minor fixes to the protocol specification.
+	* doc/Protocol-A.texi: Use @dots{} instead of "...".
+	(Simple Data Types): Use "::=" instead of ":" in two places.
+	Added missing @example...@end example markup.  Fixed the SELECTION
+	example -- the tail is not optional.
+
+	@reqdlink now works when using TeX.
+	* doc/Protocol-A.texi: Added a proper definition of @reqdlink for
+	TeX, written by David Byers.  Use "@tex" instead of "@begin tex".
+	* doc/checkargs.py (lexer): Ignore @tex.
+
 2001-04-28  Per Cederqvist  <ceder@moria>
 
 	Check case of user-defined types.