[plt-dev] DrDr online

From: Jay McCarthy (jay.mccarthy at gmail.com)
Date: Thu Jul 16 12:28:45 EDT 2009

http://plt-drdr.cs.byu.edu/

I have finally got a public IP for the server that has been running my
build software for a while. Please check it out and give me feedback.
Also note that there is a help page linked in the bottom right corner.

http://plt-drdr.cs.byu.edu/help

A few notes:

* The server is too slow to keep up with Matthew, so I've bought
another that is on the way. If that doesn't make it better, I have
ideas but welcome yours.

* I am about to make a commit that sets up some initial metadata
properties that removes many errors.

Jay

-- 
Jay McCarthy <jay at cs.byu.edu>
Assistant Professor / Brigham Young University
http://teammccarthy.org/jay

"The glory of God is Intelligence" - D&C 93


Posted on the dev mailing list.