stuycs-softdev/proj2-pd6-04-omnithinker — pull request #9 by earwig (2013-12-08 08:19:24+00:00)
Title: Feature/options

Adds an options menu that allows the user to download the document as a TXT or PDF, or delete it. Also shows whether the document is public (created by an anon) or private (created by a logged-in user).

Also fixed up some miscellaneous things.