Proof General Kit Development

Development information (general)

Development information for Proof General Kit is spread among other topics:

• ProofGeneralBroker - instructions on downloading/installing the Broker
• ProofGeneralEclipseDevel - development of the Eclipse plugin
• PGWinDevel - development notes for PGWin
• NewProofGeneralEmacs - the new PG Kit based Emacs interface
• PGIP - the protocol used by PG Kit

• UsefulResources

Plans for next steps (for active developers)

• PGIPDevelNotes - notes on PGIP extensions/modifications
• KitDevelIssues- Bugs, Issues and Discussions current and past
• PGEclipsePlans - plans for Eclipse plug in
  • PGEclipseDevelPlan - current work by GrahamDutton
• BrokerPlans - plans for Broker
• IsabellePGPlans - plans for Isabelle PGIP support
• PGEmacsPlans

Other plans

• PGKitProjectIdeas - some ideas for projects