Looking for a sponsor for Isabelle

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

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

Hi,
I'm working on packages for the theorem prover Isabelle and the 
packages it depends on. I am looking for a sponsor to integrate these 
into the Debian distribution.

The list of packages currently includes:

Isabelle:
- ---------
packages: isabelle-doc,
          isabelle-source, 
          isabelle-thy-hol, 
          isabelle-thy-zf
Description: Isabelle theorem proving environment developed at 
Cambridge University (Larry Paulson) and TU Munich (more information 
in [1]).

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]).

Poly/ML:
- --------
package: polyml
Description: Poly/ML is a full implementation of Standard ML available 
as open-source (more in [3]).

References:
- -----------
[1] http://www.cl.cam.ac.uk/Research/HVG/Isabelle/
[2] http://www.proofgeneral.org/
[3] http://www.polyml.org/

Greetings
  Stefan Schimanski

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

iD8DBQE9bio6HUDhE+YrLEURAhl2AJ9oswOXvLMzRNAGSH/67FSVB+wbHwCfSc2R
d4efhx8je3ZYGoY3PDQJu0A=
=r4NP
-----END PGP SIGNATURE-----