document builds

added: Comment.sty   version 3.6, October 1999
bug: http://fa.isabelle.narkive.com/wiF50umk/isabelle-unable-to-get-document-preparation-system-to-work