1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/src/Tools/isac/Doc/README	Wed Mar 11 15:25:52 2020 +0100
     1.3 @@ -0,0 +1,7 @@
     1.4 +~~/src/Tools/isac/Doc/README
     1.5 +
     1.6 +pdflatex in ~~/src/Tools/isac/Doc/ by:
     1.7 +/usr/local/isabisac/bin/isabelle build -D .
     1.8 + 
     1.9 +In case nothing happens with the above command, go
    1.10 +~/.isabelle/isabisac/heaps/polyml-5.8_x86_64_32-linux/log$ rm Lucas_Interpreter*