wiki:WikiStart

Version 18 (modified by David Aspinall, 16 years ago) (diff)

--

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, login to use trac and make a ticket using the 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 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.

Thanks!

-- Proof General Developers

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.

Current Attention: Proof General 3.7 patch release

Next Attention: PG Eclipse 1.0.6 and Emacs Proof General 4.0

Pointers

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