Proposed new feature: Provers

[Patrice Dumas]

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.

--
Pat