PGKitCredits < PG

PG Web>ContactUs>PGKitCredits (21 Aug 2006, DavidAspinall) (raw view)EditAttach

---++ PG Kit Developers

---++ Eclipse plugin

ProofGeneralEclipse was developed by
[[http://bigred.homelinux.org/~danielw][Daniel Winterstein]] with additional code by AlexHeneveld.  
AhsanFayyaz added support for the PGBroker.
It is currently being maintained and developed by DavidAspinall, ChristophLueth, AhsanFayyaz, AlexHeneveld, DanielWinterstein and HuaYang.

---++ Broker

The ProofGeneralBroker has been developed by ChristophLueth.

---++ PGEmacs

The NewProofGeneralEmacs has been developed by DavidAspinall.

---++ PGWin

A first prototype of PGWin based on Haskell and sml-tk was developed by
ChristophLueth and DavidAspinall in 2003.  An updated version is in development,
using Haskell with GTK.

---++ Theorem prover support

DavidAspinall supplied the first native PGIP implementation for Isabelle.  Development has been assisted by several Isabelle developers, including MakariusWenzel

Topic revision: r3 - 21 Aug 2006 - 11:41:56 - DavidAspinall

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