CADiZ

Acquiring CADiZ / Differences between R4.0 and R4.1


  1. Syntax and type errors in one section no longer disable logical inferences in unrelated sections.
  2. A tool called checker has been extracted from cadiz to just do typechecking (for the xml tool).
  3. The checker tool and its auxiliaries have been ported to Windows (but that port is not available in this release).
  4. Internally, there have been some changes to character representations for conformance with ISO Standard Z.
  5. And bug fixes too numerous to enumerate.

IT 17-Jun-2002