Proposed new feature: Provers

[Paul W. Frields]

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
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 189 bytes
Desc: This is a digitally signed message part
Url : http://lists.fedoraproject.org/pipermail/devel/attachments/20080808/c9d83167/attachment.bin