Source Code Documentation

It is in our best interests to adopt some conventions for documenting source code. For simplicity, we should just use the same conventions that they have been using in class. Also, if you use these conventions, my awk script to extract specifications in HTML will work correctly on them.