[racket-dev] [plt] Push #23181: master branch updated

From: Matthias Felleisen (matthias at ccs.neu.edu)
Date: Sun Aug 7 13:14:34 EDT 2011

Yes. 

On Aug 7, 2011, at 12:09 PM, Casey Klein wrote:

> On Sun, Aug 7, 2011 at 10:50 AM, Matthias Felleisen
> <matthias at ccs.neu.edu> wrote:
>> 
>> Good, now change define-judgment-form to define-judgment.
>> 
> 
> Did you miss my objection to that name?



Posted on the dev mailing list.