- The new name and new decoration commands fail if they change the positions of the operand declarations in the sorted signatures of the surrounding schema texts.
- The properties command fails if the paragraph has more generic parameters than the referenced declaration uses.
- Temporary files are sometimes not cleaned up - you may need to do rm /usr/tmp/cadiz* occasionally.
- The printer command in the document previewer's button3 menu can deadlock when used in the reports and proof tree windows, as the content of those windows can grow and so the end of the ``document'' cannot be determined. An individual printed proof or proof tree can be found in /usr/tmp and printed from there.
- The file name command in the document previewer's button3 menu can fail when used in the reports and proof tree windows.
- The compliance functionality is all broken.
IT 20-Nov-2000