[CoFI] Release of FINAL DRAFT of CASL Summary v1.0!

[Peter Mosses <mosses@csl.sri.com>]

News (from the CoFI WWW pages at Aarhus):

  Release of FINAL DRAFT of CASL Summary v1.0!
  ____________________________________________

  The original plan was to release the final draft of the CASL Summary
  version 1.0 by mid-September. However, on-going discussions in both the
  Semantics and Tools task groups had recently raised further delicate
  questions about some details of the CASL design, and a bit more time
  was needed to resolve these last points...

  The final draft of the CASL Summary v1.0 has now been installed, and
  can be accessed in various formats via the URLs:

       http://www.brics.dk/Projects/CoFI/Documents/CASL/Summary-v1.0-DRAFT/

       ftp://ftp.brics.dk/Projects/CoFI/Documents/CASL/Summary-v1.0-DRAFT/

  Please notify the editor straight away about any problems with browsing
  or printing the document. (Apparently some sites in the US have
  problems with printing A4-format Postscript; but hopefully, the DVI
  format of the current version of this documents is completely portable,
  now that changebars are no longer exploited.)

  Notice that there is now an (automatically-generated) list of changes,
  inserted just before the beginning of Part I, with links to the changes
  themselves in the WWW format. The changes are highlighted in colour
  there too. The Index (of concepts) has a nicer format than before on
  WWW.

  The plan is now:

       5 October:
	    Release of revised CoFIdoc and CASL packages

       15 October:
	    Deadline for objections to changes
	    (send to cofi-language@brics.dk)

       22 October:
	    Release of final CASL Summary v1.0

  Thanks for your patience!


-- Peter
_________________________________________________________
Dr. Peter D. Mosses             International Fellow  (*)

Computer Science Laboratory     mailto:mosses@csl.sri.com
SRI International               phone: +1 (650)  859-5067
333 Ravenswood Avenue           fax:   +1 (650)  859-2844
Menlo Park, CA 94025, USA       http://www.brics.dk/~pdm/

(*) on leave from DAIMI & BRICS, University of Aarhus, DK
    also affiliated to CS Department, Stanford University
_________________________________________________________