I tried compiling the document using a recent version of texlive distribution. It throws lots of errors like ``` ! LaTeX Error: Unknown float option `m'.` ``` which can be ignored using `-interaction=nonstopmode` but that's kinda hacky. pdflatex-log: [root.log](https://github.com/SMLFamily/The-Definition-of-Standard-ML/files/5055756/root.log)
