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

Re: Proposed new feature: Provers



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


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