Added command at end to use times fonts; commented out. Instructions to use

times are there as well.

Doing it here means the switch only affects one file and gets everything
rebuilt as needed.

diff --git a/Doc/myformat.sty b/Doc/myformat.sty
index c21e4343d6f87215094e65880a51755f4d4a4fc0..4a02d927fdb934f008a77f340494c6ce0ccfaf58 100644 (file)
--- a/Doc/myformat.sty
+++ b/Doc/myformat.sty
@@ -289,3 +289,6 @@
   }
   \pagebreak%
 }
+
+% Uncomment the following line to use a PostScript font instead of bitmaps:
+%\RequirePackage{times}\typeout{Using times fonts instead of Computer Modern.}