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

freddrake · freddrake · commit 8362d005cf70 · 1998-01-13T17:29:31.000Z
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
@@ -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.}

Original file line number	Diff line number	Diff line change
`@@ -289,3 +289,6 @@`
`289`	`289`	`}`
`290`	`290`	`\pagebreak%`
`291`	`291`	`}`
	`292`	`+`
	`293`	`+% Uncomment the following line to use a PostScript font instead of bitmaps:`
	`294`	`+%\RequirePackage{times}\typeout{Using times fonts instead of Computer Modern.}`