The source code for DrDr is now in plt/meta/drdr. (If you haven't been watching, meta is for infrastructure code that isn't distributed and is normally not run by people whose names do not start with "E" and end with "zilay".)
I'm not expecting a flurry of patches, but I've had a few requests for it to be public. Eli and I talked about it and this was the best place for it. Jay -- Jay McCarthy <[email protected]> Assistant Professor / Brigham Young University http://teammccarthy.org/jay "The glory of God is Intelligence" - D&C 93 _________________________________________________ For list-related administrative tasks: http://list.cs.brown.edu/mailman/listinfo/plt-dev
