Re: multiple exceptions in one EXCEPTION declaration

The syntax summary in SPwM3 gives:

Decl = ...
      | EXCEPTION {ExceptionDecl ";"}
      ...

and similarly for all other kinds of declarations other than
PROCEDURE, and for revelations.

In the main language definition (from which the html version
is clearly derived,) Section 2.4 of SPwM3, the description of
the different kinds of declarations, does not note that
multiple declarations of the same kind can follow a single
occurence of the keyword, not that I could find.  I presume this
was a casualty of the 50-page limit.  Perhaps it would be good
to modify the definition.

Henning Thielemann wrote:
> What I understand in the language re****t
>   http://www.elegosoft.com/cm3/doc/reference/exceptions.html
> is that EXCEPTION allows for one declaration at once only.
> But cm3 allows also for multiple declarations and
> this is also used in the libm3 (Rd):
>   EXCEPTION EndOfFile; Failure(AtomList.T);