Bug#160906: ITP: proofgeneral -- A generic interface for proof assistants

[Stefan Schimanski <schimmi@kde.org>]

Package: wnpp
Version: unavailable; reported 2002-09-14
Severity: wishlist

* Package name    : proofgeneral
  Version         : 3.4
  Upstream Author : support@proofgeneral.org
* URL             : http://www.proofgeneral.org
* License         : GPL
  Description     : A generic interface for proof assistants

Proof General is a generic interface for proof assistants,
currently based on the customizable text editor Emacs.
It works with either XEmacs or GNU Emacs. Proof General
has been developed at the LFCS in the University of Edinburgh.

The package will be sponsored by Ralf Treinen 
<treinen@club-internet.fr>.