TWiki> PG Web>PGIP>PGIPRoadMap (revision 1)EditAttach

Road map for future PGIP releases


PGIP 2.0 as it is now, in time for and compatible with Isabelle 2007, possibly refactored into different schemas.


New display protocol, prover part backwards compatible to 2.0 (and hence Isabelle2007)


replace prover part with generic prover meta-model, instantiation for old model backwards compatible with 2.0

Edit | Attach | Print version | History: r3 < r2 < r1 | Backlinks | Raw View | Raw edit | More topic actions...
Topic revision: r1 - 07 Jul 2007 - 10:34:27 - DavidAspinall
This site is powered by the TWiki collaboration platformCopyright © 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