I wonder if the fonts in Plucker wouldn't do well to be spun-off into
separate prc's. This would let the user substitute a different font pack
(e.g., for a non-Latin script, or just a nicer font pack), as well as save
memory (no need for hi-res users to have the lo-res fonts, and vice
versa). Any thoughts?
Alex
--
Dr. Alexander R. Pruss || e-mail: [EMAIL PROTECTED]
Philosophy Department || online papers and home page:
Georgetown University || www.georgetown.edu/faculty/ap85
Washington, DC 20057 ||
U.S.A. ||
-----------------------------------------------------------------------------
"Philosophiam discimus non ut tantum sciamus, sed ut boni efficiamur."
- Paul of Worczyn (1424)
_______________________________________________
plucker-dev mailing list
[EMAIL PROTECTED]
http://lists.rubberchicken.org/mailman/listinfo/plucker-dev
