1 ~~/src/Tools/isac/Doc/README
2
3 pdflatex in ~~/src/Tools/isac/Doc/ by:
4 /usr/local/isabisac/bin/isabelle build -D .
5
6 In case nothing happens with the above command, go
7 ~/.isabelle/isabisac/heaps/polyml-5.8_x86_64_32-linux/log$ rm Interpret*