Re: Proposed new feature: Provers

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

 



On Fri, 2008-08-08 at 16:00 +0200, Patrice Dumas wrote:
> On Fri, Aug 08, 2008 at 09:30:28AM -0400, Casey Dahlin wrote:
> >>   
> > And what criteria are those? I don't think this is the first feature  
> > that has been mostly a packaging affair. Last I checked our definition  
> > of feature was "something worth mentioning in the release notes."
> 
> I agree. Here the issue is merely communicating something new and nice.
> Alan is willing to do the associated paperwork so this is certainly a
> feature.

Haskell support is a feature; is there a reason why this shouldn't be as
well?

-- 
Paul W. Frields
  gpg fingerprint: 3DA6 A0AC 6D58 FEC4 0233  5906 ACDB C937 BD11 3717
  http://paul.frields.org/   -  -   http://pfrields.fedorapeople.org/
  irc.freenode.net: stickster @ #fedora-docs, #fedora-devel, #fredlug

Attachment: signature.asc
Description: This is a digitally signed message part

-- 
fedora-devel-list mailing list
fedora-devel-list@xxxxxxxxxx
https://www.redhat.com/mailman/listinfo/fedora-devel-list

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Index of Archives]     [Fedora Announce]     [Fedora Kernel]     [Fedora Testing]     [Fedora Formulas]     [Fedora PHP Devel]     [Kernel Development]     [Fedora Legacy]     [Fedora Maintainers]     [Fedora Desktop]     [PAM]     [Red Hat Development]     [Gimp]     [Yosemite News]
  Powered by Linux