Please do not reply directly to this email. All additional comments should be made in the comments box of this bug report. Summary: Review Request: coq - Coq proof management system https://bugzilla.redhat.com/show_bug.cgi?id=450323 ------- Additional Comments From dwheeler@xxxxxxxxxxxx 2008-06-20 15:16 EST ------- Hi - congrats to Alan Dunn, I think this looks like a good package! Just a note - my comment 20 described how to wrap up coqtop using rlwrap when you invoke coqtop interactively. Unfortunately, Alan Dunn found that doing that has some problems. For example, pasting sometimes doesn't work as expected. So he's convinced me that this automatic wrapping should NOT be done, and that his packaging as it stands is the better approach. -- Configure bugmail: https://bugzilla.redhat.com/userprefs.cgi?tab=email ------- You are receiving this mail because: ------- You are on the CC list for the bug, or are watching someone who is. _______________________________________________ Fedora-package-review mailing list Fedora-package-review@xxxxxxxxxx http://www.redhat.com/mailman/listinfo/fedora-package-review