TWiki
>
PG Web
>
ProofGeneralKit
>
ProofGeneralEclipse
>
PGEclipsePlans
(08 Jul 2007,
DavidAspinall
)
E
dit
A
ttach
General plans for Proof General on Eclipse
Here are our plans for some next things to implement in
ProofGeneralEclipse
. For a higher-level view on our goals, see
PGEclipseFutureIdeas
.
For more details at a lower level and most up-to-date, please see information in
trac
.
Merge multiple branches and contributions to code
Improvements to existing code
More advanced extensions
Merge multiple branches and contributions to code
We need to amalgamate:
Ahsan's branch: updated Broker support, event and preference page improvements
Elina Timiriassova's GEF work, if useful/good enough
Fixes/contributions Alex Heneveld may have (standalone, features)
Improvements to existing code
Add test suite infrastructure using JUnit
Use latest
PGIP
features for syntax (keyword configuration, etc)
Use
PGIP
features for content generation (objtypes)
Try to get preferences table for prover created dynamically from
PGIP
(NB: probably need update button and then restart, otherwise Eclipse hacking)
More advanced extensions
Handling multiple provers
Refactoring and other high-level operations
Interfacing to IsaPlanner
Interfacing to HiProof browser
Further visualisations
E
dit
|
A
ttach
|
P
rint version
|
H
istory
: r8
<
r7
<
r6
<
r5
<
r4
|
B
acklinks
|
R
aw View
|
Ra
w
edit
|
M
ore topic actions
Topic revision: r8 - 08 Jul 2007 - 16:15:32 -
DavidAspinall
Main.PGEclipsePlans moved from Main.PGEclipseToDo on 27 Sep 2006 - 12:02 by
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