Proof General Broker

The Proof General broker is the middleware component of the Proof General Kit. It is implemented in Haskell.

Installing the Broker

Download binary

A statically-linked binary for Linux is available at

Build from source

The sources are available by anonymous CVS, by checking out this directory:

cvs -d co Kit/src/pgkit

You will need a recent version of ghc to build it. More details are contain in the CVS distribution.


To build from source, you need:

warning To build HaXml, do not ./configure; make and do not follow the README instructions included in the HaXml source, they are outdated! You need to use the Setup.hs file coming with HaXml; the file README-HaXml in the broker sources contains more detailed instructions.

Development of the Broker

  • BrokerPlans - plans for upcoming developments in broker
Topic revision: r6 - 04 Jun 2007 - 19:11:28 - ChristophLueth
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