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
