= Welcome to [http://proofgeneral.inf.ed.ac.uk 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. [http://proofgeneral.inf.ed.ac.uk/trac/search search] to see if something similar has already been reported;
 1. if not, [http://proofgeneral.inf.ed.ac.uk/trac/login login] to use trac and make a ticket using the [http://proofgeneral.inf.ed.ac.uk/trac/newticket "New Ticket"] button.

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).

To login, you need to [http://proofgeneral.inf.ed.ac.uk/trac/register register] your own account, or use
a generic account (hint: name of your preferred proof assistant followed by "user", with the same password).
Login is necessary to avoid automated spamming.


'''Please note''': for security reasons, email sending is currently disabled on this Trac installation, so you will not receive email alerts for bug reports automatically.  Our apologies for this.

'''MARCH 2011''': registration is temporarily disabled to prevent spam attacks.  Please use a generic
account ("coquser" or "isabelleuser") for now. 

Thanks!

''-- Proof General Developers''

== Current Attention: PG Eclipse 1.0.6 and Emacs Proof General 4.1 ==

 * See tickets for [query:status=new|accepted|assigned|reopened&milestone=PG-Eclipse-1.0.6 Proof General Eclipse version 1.0.6]
 * See tickets for [query:status=new|accepted|assigned|reopened&milestone=PG-Emacs-4.1 Proof General Emacs version 4.1]

== Emacs issues affecting Proof General ==

 * These have keyword "emacsbug", see: search:?q=emacsbug&ticket=on

== 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
 * [http://trac.edgewall.org/ The Trac project] -- Trac Open Source Project
 * [http://trac.edgewall.org/wiki/TracFaq 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.