Proof General

$Id$

The code in this directory implements the generic basis 
of Proof General.

It was written by Thomas Kleymann, Dilip Sequeira, Heafldene Goguen,
and David Aspinall.

Several other people helped with contributions and modifications, see
individual credits in the code or summary in the Proof General manual.