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
