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

Re: Proposed new feature: Provers



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


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