Go to the first, previous, next, last section, table of contents.


B. Known bugs and workarounds

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.