-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.7
Date: Mon, 30 Sep 2002 21:43:08 +0200
Source: proofgeneral
Binary: proofgeneral proofgeneral-coq proofgeneral-doc proofgeneral-misc
Architecture: source all
Version: 3.4-12
Distribution: unstable
Urgency: low
Maintainer: Stefan Schimanski <[EMAIL PROTECTED]>
Changed-By: Stefan Schimanski <[EMAIL PROTECTED]>
Description:
proofgeneral - A generic interface for proof assistants
proofgeneral-coq - ProofGeneral support for coq
proofgeneral-doc - Documentation for ProofGeneral in html format
proofgeneral-misc - ProofGeneral support for different theoreom provers
Changes:
proofgeneral (3.4-12) unstable; urgency=low
.
* Added note about remove behaviour to startup files.
* Symlink the xemacs21 startup file to the emacs21 startup file as
they are the same anyway.
Files:
b4acfbfeeb7b1e036b19ef407f92ff28 640 editors optional proofgeneral_3.4-12.dsc
277917f49c31f9f7ede6d2b3ef14cb6b 6458 editors optional proofgeneral_3.4-12.diff.gz
71ac0e6749642ecd010515e120181790 405656 editors optional proofgeneral_3.4-12_all.deb
6aeb19604d3f14b96ec4af5d0198e5d8 22744 editors optional
proofgeneral-coq_3.4-12_all.deb
d20b8af8c2858765227a8595fbc956f2 121892 editors optional
proofgeneral-misc_3.4-12_all.deb
90332911e9caabdb2597e969e0cb386f 111012 editors optional
proofgeneral-doc_3.4-12_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.0 (GNU/Linux)
iD8DBQE9oyg9tzWmSeC6BMERAk7uAKDsDXTkuK5aIA1ieGBYDgZhDZ7FIwCfYG1J
EUp3ZywN4z+AZbSbn19f3mE=
=5oqt
-----END PGP SIGNATURE-----
Accepted:
proofgeneral-coq_3.4-12_all.deb
to pool/main/p/proofgeneral/proofgeneral-coq_3.4-12_all.deb
proofgeneral-doc_3.4-12_all.deb
to pool/main/p/proofgeneral/proofgeneral-doc_3.4-12_all.deb
proofgeneral-misc_3.4-12_all.deb
to pool/main/p/proofgeneral/proofgeneral-misc_3.4-12_all.deb
proofgeneral_3.4-12.diff.gz
to pool/main/p/proofgeneral/proofgeneral_3.4-12.diff.gz
proofgeneral_3.4-12.dsc
to pool/main/p/proofgeneral/proofgeneral_3.4-12.dsc
proofgeneral_3.4-12_all.deb
to pool/main/p/proofgeneral/proofgeneral_3.4-12_all.deb
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
