Welcome to Proof General Trac!

This is our project management and issue tracking system. If you have a bug to report, a patch to supply or an enhancement to suggest please:

1. search to see if it has already been reported;
2. if not, or if you have something to add, register to use trac (apologies: necessary to avoid spam) and then create a ticket using "New Ticket" from the toolbar.

Please try to select the right components/version for your report and, in the case of bugs, say exactly which platform and external software versions you're using (e.g., which version of Emacs or Eclipse, and which version of Isabelle, Coq, etc).

Thanks!

-- Proof General Developers

Current Attention

• See tickets for Proof General Emacs version 3.7

Pointers

• TracAndMylyn -- Using Trac through Eclipse/Mylyn?.
• TracGuide -- Built-in Documentation
• http://proofgeneral.inf.ed.ac.uk -- The main Proof General web pages
• http://proofgeneral.inf.ed.ac.uk/wiki -- The main Proof General wiki
• ​The Trac project -- Trac Open Source Project
• ​Trac FAQ -- Frequently Asked Questions
• TracSupport -- Trac Support
• DeletingTicketSpam -- how to delete spam entries in ticket changes

For a complete list of local wiki pages, see TitleIndex.