> Is this required for anything other than drflux?
no, everything else seems to work fine with plt_mzscheme.

gabor

Reply via email to