I noticed that in ARQ I could choose not to provide a semi-colon between SPARUL commands and it would be accepted. I just wanted to point it out in case the (a) the spec needs updating or (b) ARQ needs to be more pedantic. If it is an intentional divergence from the spec then no matter... but I'm curious to know what the intention was here.
Here is the grammar production from the spec: [30] Update ::= Prologue ( Update1 ( ';' Update )? )?
