-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.7 Date: Wed, 6 Dec 2006 21:47:30 +0200 Source: proofgeneral Binary: proofgeneral proofgeneral-coq proofgeneral-minlog proofgeneral-doc proofgeneral-misc Architecture: source all i386 Version: 3.5-4 Distribution: unstable Urgency: low Maintainer: Stefan Schimanski <schimmi@debian.org> Changed-By: Stefan Schimanski <schimmi@debian.org> Description: proofgeneral - A generic interface for proof assistants proofgeneral-coq - ProofGeneral support for coq proofgeneral-doc - Documentation for ProofGeneral in html format proofgeneral-minlog - ProofGeneral support for Minlog proofgeneral-misc - ProofGeneral support for different theorem provers Closes: 176921 260074 Changes: proofgeneral (3.5-4) unstable; urgency=low . * Added support for Minlog * Do not load proof-site.el automatically anymore, but instead install an interactive function "proofgeneral". It then loads the ProofGeneral and, most importantly, assign the file extension to ProofGeneral. Closes: #260074,#176921 Files: aa0acf90a992363467e1536842d2cd0e 677 editors optional proofgeneral_3.5-4.dsc 1c49337396356222c20b2de33740b2ca 20169 editors optional proofgeneral_3.5-4.diff.gz 0df496cfcc0a77a225d75c0faf9818f8 420848 editors optional proofgeneral_3.5-4_all.deb f89fd084d83008135b46baa618bd490f 44506 editors optional proofgeneral-coq_3.5-4_all.deb 7f0e4781a11169b22d9c9aa1cc02277e 150150 editors optional proofgeneral-misc_3.5-4_all.deb a029978f90872ef97a7fc7831b5c0ba8 121320 editors optional proofgeneral-doc_3.5-4_all.deb 127a5c673e9cfa88b2c5c14f74b27a62 16928 editors optional proofgeneral-minlog_3.5-4_i386.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.1 (GNU/Linux) iD8DBQFFd/ulHUDhE+YrLEURAux5AKD0zqtvA6GRPRePcjn25udh9JjHbQCguzJ8 AQ8SrQ+qI5p9T7KrxI2hzts= =Pwtn -----END PGP SIGNATURE----- Accepted: proofgeneral-coq_3.5-4_all.deb to pool/main/p/proofgeneral/proofgeneral-coq_3.5-4_all.deb proofgeneral-doc_3.5-4_all.deb to pool/main/p/proofgeneral/proofgeneral-doc_3.5-4_all.deb proofgeneral-minlog_3.5-4_i386.deb to pool/main/p/proofgeneral/proofgeneral-minlog_3.5-4_i386.deb proofgeneral-misc_3.5-4_all.deb to pool/main/p/proofgeneral/proofgeneral-misc_3.5-4_all.deb proofgeneral_3.5-4.diff.gz to pool/main/p/proofgeneral/proofgeneral_3.5-4.diff.gz proofgeneral_3.5-4.dsc to pool/main/p/proofgeneral/proofgeneral_3.5-4.dsc proofgeneral_3.5-4_all.deb to pool/main/p/proofgeneral/proofgeneral_3.5-4_all.deb
