[Bug 450323] Review Request: coq - Coq proof management system

[bugzilla at redhat.com]

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 at dwheeler.com  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.