diff --git a/collects/mred/mred.ss b/collects/mred/mred.ss index 4d5d74e5..1adbd086 100644 --- a/collects/mred/mred.ss +++ b/collects/mred/mred.ss @@ -35,7 +35,9 @@ afm-draw-text afm-get-text-extent afm-expand-name - afm-glyph-exists?) + afm-glyph-exists? + afm-record-font + afm-fonts-string) ;; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;