HomeIsabelle/Phabricator

clarified options: support lualatex as well, but prefer old pdflatex for demos;