Various Documents of Interest
This directory and the files in it are under construction. Please check back at another time.
This file was last changed $Date: 2013/12/07 15:03:18 $. (UTC; local timezone of maintainer is UTC-5 (Eastern Standard Time)
$Id: index.html,v 1.2 2013/12/07 15:03:18 thepaper Exp $
$Log: index.html,v $
Revision 1.2 2013/12/07 15:03:18 thepaper
Added style for div id UserInfo; added pedantic comment that time of modification is UTC and my time is EST.
Revision 1.1 2013/12/07 15:00:17 thepaper
Currently no information of general interest