TWiki
>
PG Web
>
ProofGeneralKit
>
PGKitDevelopment
(01 Oct 2006,
DavidAspinall
)
E
dit
A
ttach
Proof General Kit Development
Development information (general)
Plans for next steps (for active developers)
Other plans
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
E
dit
|
A
ttach
|
P
rint version
|
H
istory
: r5
<
r4
<
r3
<
r2
<
r1
|
B
acklinks
|
R
aw View
|
Ra
w
edit
|
M
ore topic actions
Topic revision: r5 - 01 Oct 2006 - 10:46:55 -
DavidAspinall
PG
PG Web
PG Web Home
Changes
Index
Search
Notifications
RSS Feed
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki?
Send feedback
This Wiki uses
Cookies