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

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



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

_______________________________________________
Fedora-package-review mailing list
Fedora-package-review@xxxxxxxxxx
http://www.redhat.com/mailman/listinfo/fedora-package-review

[Index of Archives]     [Fedora Legacy]     [Fedora Desktop]     [Fedora SELinux]     [Yosemite News]     [KDE Users]     [Fedora Tools]