Till wrote: > I now have revised my draft note on institution independent CASL > semantics (cf. my message from 27 April to this list) > and sent it to Peter to install it. > ... > [I understand this note will be installed by Peter at CoFI WWW pages > very soon, presumably as S-8 --- AT] Correct - it is now available. Peter