It's at #10318 with a positive review already!
John
On Thu, Nov 25, 2010 at 12:09 AM, Robert Bradshaw
wrote:
> That's a typo (almost certainly mine) and should be changed. Thanks.
>
> On Nov 24, 2010 3:17 AM, "John Cremona" wrote:
>
> In reviewing #8807 I spotted what looked like a typo:
> "Com
That's a typo (almost certainly mine) and should be changed. Thanks.
On Nov 24, 2010 3:17 AM, "John Cremona" wrote:
In reviewing #8807 I spotted what looked like a typo:
"CompositConstructionFunctor". But in fact that is the way this class
name is defined. There are many occurrences of this, a
On Wed, Nov 24, 2010 at 9:32 AM, David Roe wrote:
> Seems fine to me.
See #10318
John
> David
>
> On Wed, Nov 24, 2010 at 10:16, John Cremona wrote:
>>
>> In reviewing #8807 I spotted what looked like a typo:
>> "CompositConstructionFunctor". But in fact that is the way this class
>> name is
Seems fine to me.
David
On Wed, Nov 24, 2010 at 10:16, John Cremona wrote:
> In reviewing #8807 I spotted what looked like a typo:
> "CompositConstructionFunctor". But in fact that is the way this class
> name is defined. There are many occurrences of this, almost all in
> categories/pushout.p
