[plt-dev] DrDr online

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