Use XeTeX and DejaVu Sans Mono#4

Open

kfl wants to merge 2 commits intosimonmar:masterfrom

Commits on May 1, 2012

Use XeTeX instead of pdfLaTeX, to allow easy use of DejaVu Sans Mono for monospace font, so that most of the fancy Unicode is displayed.
kfl
committed
Give correct argument to replicateM to avoid irrefutable pattern failure.
kfl
committed