Package: proofgeneral Version: 3.5-4.1 Severity: wishlist There is now emacs22 in lenny/sid. Please support emacs22 and add emacs22 (or emacs) to the dependency.
Currently, emacs21 still exists, so the severity of this bug is `wishlist'. If emacs21 is removed, the severity will be bumped up. BTW, I think the version dependencies of `emacs21 (>= 21.1.0) | xemacs21 (>= 21.1.0)' is redundantly. Please use `emacs22 | emacsen' (or `emacs | emacsen') instead. Thanks, -- Tatsuya Kinoshita
pgpSznCljJDjJ.pgp
Description: PGP signature
