[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[no subject]
- To: (BUG LISPM) at MIT-AI
- From: JPT at MIT-AI (Jean-Pierre Tanaka)
- Date: Tue ,29 Jul 80 00:22:00 EDT
what alternatives to the standard font are available after mousing
'change default font' on the edit menu? Is there some devious method of
entering them?
humbly,
jean-pierre tanaka