[racket-dev] [plt] Push #28945: master branch updated

On Fri, Jun 27, 2014 at 4:30 AM,  <robby at racket-lang.org> wrote:
>
>
> 5280395 Robby Findler <robby at racket-lang.org> 2014-06-27 03:25
> :
> | add the --dvipdf flag to scribble
> |
> | This adds a new back-end pipeline for generating pdf to
> | scribble, with the hope that included picts (e.g., those
> | generated by Redex) will look better when viewed with
> | on-screen pdf viewers

Can you explain more about why this would work better? In particular,
there are lots of things that work better/only with pdflatex (fonts,
unicode, hyperlinks, etc) so I hope that there isn't some permanent
barrier to getting both nice-looking Redex picts and fancy latex
features.

Sam