This appendix has been removed.
Please consult the file `BUGS' in the distribution for an up-to-date description bugs and other issues.
If you discover a problem which isn't mentioned in `BUGS', please
let us know by sending a note to support@proofgeneral.org
.
Go to the first, previous, next, last section, table of contents.