ZDATR Version 1.1 revisions

The ZDATR implementation has been freed of known syntactic and semantic bugs and will be available on the Bielefeld DATR web page from 22st March 1997. Many thanks to all who have submitted bug reports and detailed comments on ZDATR semantics.

The bugs were:

1. RHS variable instantiation, where variables beyond the first position in RHS sequences were not correctly instantiated (this was the major bug),
2. incorrect treatment of the quoted atom '==',
3. incorrect error handling (loop) for missing LHS angle brackets,
4. treatment of long comment section after the final node in a theory file,
5. treatment of comments at some positions in the declaration file.