## Appendix B Bugs and Enhancements

For an up-to-date description of bugs and other issues, please consult the bugs file included in the distribution: `BUGS`.

If you discover a problem which isn’t mentioned in `BUGS`, please use the search facility on our Trac tracking system at http://proofgeneral.inf.ed.ac.uk/trac. If you cannot find the problem mentioned, please add a ticket, giving a careful description of how to repeat your problem, and saying exactly which versions of all Emacs and theorem prover you are using.

If you have some suggested enhancements to request or contribute, please also use the tracking system at http://proofgeneral.inf.ed.ac.uk/trac for this.