[plt-dev] DrDr online

From: Shriram Krishnamurthi (sk at cs.brown.edu)
Date: Thu Jul 16 22:38:32 EDT 2009

Previous message: [plt-dev] DrDr online
Next message: [plt-dev] Release Announcement for v4.2.1
Messages sorted by: [date] [thread] [subject] [author]

The PLT logo already contains deep blue.  Once Matthew sees red, it'll
be a whiteout.

Shriram

Posted on the dev mailing list.

Previous message: [plt-dev] DrDr online
Next message: [plt-dev] Release Announcement for v4.2.1
Messages sorted by: [date] [thread] [subject] [author]