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