CASL User Manual - 2 new draft chapters

[pdmosses@brics.dk]

An outline of the forthcoming CASL User Manual, including updated
drafts of Chapter 3 (Total, Many-Sorted Specifications) and
Chapter 4 (Partial Functions), together with new complete drafts of
Chapter 5 (Subsorting) and Chapter 6 (Structuring Specifications)
is now available in PDF from the CoFI Archives at:

  ftp://ftp.brics.dk/Projects/CoFI/Documents/CASL/UserManual/Sample/doc.pdf

Comments are most welcome! Please send them to the authors at the
e-mail addresses listed on the front page:

  bidoit@lsv.ens-cachan.fr, pdmosses@brics.dk. 

Comments of general interest to the CoFI Methodology and Language
Design groups may subsequently be forwarded to the corresponding
mailing lists: cofi-methodology and cofi-language.

Readers are requested to contribute to the completion of the User
Manual through their comments and suggestions for improvement.
Feedback received by 31st August will be taken into account in
the next public version. Thanks to those who sent comments on the
previous drafts: they were very helpful!

Note that the specifications taken as illustrations in the User
Manual are largely the same as those given in the presentation
entitled Gentle Introduction to CASL, which is available at:

  http://www.lsv.ens-cachan.fr/~bidoit/CASL/ 

The authors must apologize (yet again) to the CoFI participants
for the delays with producing the User Manual; drafts of most of
the remaining chapters should be available by the end of
September, 2002.
       
-- 

Michel Bidoit and Peter Mosses