Accepted proofgeneral 3.4-10 (all source)

[Stefan Schimanski <schimmi@kde.org>]

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

Format: 1.7
Date: Thu, 26 Sep 2002 02:18:52 +0200
Source: proofgeneral
Binary: proofgeneral proofgeneral-coq proofgeneral-doc proofgeneral-misc
Architecture: source all
Version: 3.4-10
Distribution: unstable
Urgency: low
Maintainer: Stefan Schimanski <schimmi@kde.org>
Changed-By: Stefan Schimanski <schimmi@kde.org>
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-10) unstable; urgency=low
 .
   * Install startup file 50proofgeneral only for support flavors, not
     into a general place (closes: Bug #162354).
   * Fix the 50proofgeneral startup file to use the correct path.
   * Documented the EMACS variable in the proofgeneral manual page.
Files: 
 a61a7cfcc8854645af79c1ce716b1c0c 640 editors optional proofgeneral_3.4-10.dsc
 de101616bfc984e8728ab50c440aeb90 5469 editors optional proofgeneral_3.4-10.diff.gz
 52e2623614609b7d1d5bb95141563e32 404606 editors optional proofgeneral_3.4-10_all.deb
 f20ce436f8b9ac34483c6afb96e3ed20 22572 editors optional proofgeneral-coq_3.4-10_all.deb
 e90cae603479e72ec272416cbcc84240 121672 editors optional proofgeneral-misc_3.4-10_all.deb
 25f0fda49e3d515c4f3f45e0bb5ff365 110832 editors optional proofgeneral-doc_3.4-10_all.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.0 (GNU/Linux)

iD8DBQE9kqj0tzWmSeC6BMERAkTvAJ9C+uD5kntWdWXWNFnMT6mHEHX36QCg8YXx
aZYJrRNSWxakoZcm3KmCTLA=
=oyZq
-----END PGP SIGNATURE-----


Accepted:
proofgeneral-coq_3.4-10_all.deb
  to pool/main/p/proofgeneral/proofgeneral-coq_3.4-10_all.deb
proofgeneral-doc_3.4-10_all.deb
  to pool/main/p/proofgeneral/proofgeneral-doc_3.4-10_all.deb
proofgeneral-misc_3.4-10_all.deb
  to pool/main/p/proofgeneral/proofgeneral-misc_3.4-10_all.deb
proofgeneral_3.4-10.diff.gz
  to pool/main/p/proofgeneral/proofgeneral_3.4-10.diff.gz
proofgeneral_3.4-10.dsc
  to pool/main/p/proofgeneral/proofgeneral_3.4-10.dsc
proofgeneral_3.4-10_all.deb
  to pool/main/p/proofgeneral/proofgeneral_3.4-10_all.deb