[Bug 459409] Review Request: E - Equational Theorem Prover

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


https://bugzilla.redhat.com/show_bug.cgi?id=459409





--- Comment #11 from David A. Wheeler <dwheeler at dwheeler.com>  2008-08-26 16:31:03 EDT ---
Wow! Thanks for the quick turnaround!

>  I'm a little dubious about calling the package 'E' rather
> than something like 'E-theorem-prover', but it doesn't
> seem to be specifically against any guideline.

I wondered about that too, but they're consistent in their use of this unusual
one-capital-letter name ("E").  There's even precedence for this - "R" is one
of the most popular statistical packages, and the Fedora package name is,
unsurprisingly, "R".  So, since they consistently use the name, there's no
guideline against it, and we have precedent, I just went along with the flow. 
Only 24 to go in U.S. ASCII :-).

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