-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.7 Date: Sun, 22 Sep 2002 12:56:37 +0200 Source: proofgeneral Binary: proofgeneral proofgeneral-coq proofgeneral-doc proofgeneral-misc Architecture: source all Version: 3.4-8 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-8) unstable; urgency=low . * Fixed appearing proofgeneral icons in the default emacs21 toolbar. Files: 063f28f9c11871a319532ad37638ef8e 638 editors optional proofgeneral_3.4-8.dsc 3add7e2c7e174b795d0ebc4ab52c1e3d 5211 editors optional proofgeneral_3.4-8.diff.gz cb9fe1ee6eeea7beec03209ef6820d17 404324 editors optional proofgeneral_3.4-8_all.deb c5cb83cabbc1a27947e85b4ab6af7f46 22370 editors optional proofgeneral-coq_3.4-8_all.deb 395e4e8dbe4cd916b24efd8eda0a5ad5 121500 editors optional proofgeneral-misc_3.4-8_all.deb deb788ef7e2e786de6f8ff6e5acb6fc2 110644 editors optional proofgeneral-doc_3.4-8_all.deb
-----BEGIN PGP SIGNATURE----- Version: GnuPG v1.0.7 (GNU/Linux) iD8DBQE9jriotzWmSeC6BMERAuspAKCn8PbHShegYc2PbhzvS9bKiHwu+gCffS/J flDiLHzqHY2OZSIWzN3e9dw= =hmAk -----END PGP SIGNATURE----- Accepted: proofgeneral-coq_3.4-8_all.deb to pool/main/p/proofgeneral/proofgeneral-coq_3.4-8_all.deb proofgeneral-doc_3.4-8_all.deb to pool/main/p/proofgeneral/proofgeneral-doc_3.4-8_all.deb proofgeneral-misc_3.4-8_all.deb to pool/main/p/proofgeneral/proofgeneral-misc_3.4-8_all.deb proofgeneral_3.4-8.diff.gz to pool/main/p/proofgeneral/proofgeneral_3.4-8.diff.gz proofgeneral_3.4-8.dsc to pool/main/p/proofgeneral/proofgeneral_3.4-8.dsc proofgeneral_3.4-8_all.deb to pool/main/p/proofgeneral/proofgeneral_3.4-8_all.deb -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]