Re: Looking for a sponsor for Isabelle

[Stefan Schimanski <1SteinList@gmx.de>]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Hi,

On Friday 30 August 2002 21:19, you wrote:
> On Thu, Aug 29, 2002 at 04:05:45PM +0200, Stefan Schimanski wrote:
> > ProofGeneral:
> > - -------------
> > package: proofgeneral
> > Description: 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
> > (more in [2]).
>
> Last time we checked (in the context of distributing the coq
> theorem prover), proofgeneral did not allow redistribution - that
> is, it could not even go into non-free! However, I did not check
> with the current version.

At least the COPYING file in the main directory shows the GPL, so I 
assume it is free software. I will take a deeper look tomorrow.

Stefan

- -- 
          Stefan Schimanski <1Stein@gmx.de>           
ICQ 21807697 - PGP 0xE62B2C45 - http://www.1Stein.org 
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.0.7 (GNU/Linux)

iD8DBQE9cFyxHUDhE+YrLEURAn4cAJ4g5Mf4eXPm+U18/kme9wOH57rFIgCgscDI
UMnCmlcRzT6nLyn6H4mE4+Q=
=pXDs
-----END PGP SIGNATURE-----