[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-08 12:48 EST -------
It's too bad rpm doesn't have a "Suggests:" tag.  Perhaps the description could add:
"coqtop users may want to install and use rlwrap, e.g., 'rlwrap coqtop', or use
an IDE."

Basically, coqtop doesn't include readline (for history and line editing), which
makes it annoying to use directly.  Installing and using rlwrap fixes that, but
it's not _required_ so rlwrap shouldn't be a dependency.



-- 
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.