Change book's LaTeX engine to XeLaTex - #4413

Change book's LaTeX engine to XeLaTex#4413

smheidrich wants to merge 1 commit into

FStarLang:masterFStarLang/FStar:masterfrom

smheidrich:xelatex-for-booksmheidrich/FStar:xelatex-for-bookCopy head branch name to clipboard