http://www.youtube.com/watch?v=LjSjmw_7uIE
On Thu, May 28, 2009 at 10:23 AM, Matthias Felleisen <matth...@ccs.neu.edu> wrote: > > doctordoctor is the right name :-) > > > On May 28, 2009, at 7:44 AM, Noel Welsh wrote: > >> On Thu, May 28, 2009 at 12:03 AM, Jay McCarthy <jay.mccar...@gmail.com> >> wrote: >>> >>> 2) A suggestion for a name [I'm thinking pis: the PLT Integration Server >>> =P] >> >> Unfortunate acronym. >> >> DrDr? (As in, the thing that checks DrScheme is healthy) >> Doodlebug? (It runs around a lot, not really getting anywhere. [Also, >> unfortunate connotations in line .ss -- gives the IRC trolls something >> to talk about]) >> Astrolabe? (PLT Scheme is the sun around which PLaneT orbits. The >> astrolabe predicts the orbits.) >> >> N. >> _________________________________________________ >> For list-related administrative tasks: >> http://list.cs.brown.edu/mailman/listinfo/plt-dev > > _________________________________________________ > For list-related administrative tasks: > http://list.cs.brown.edu/mailman/listinfo/plt-dev > _________________________________________________ For list-related administrative tasks: http://list.cs.brown.edu/mailman/listinfo/plt-dev
