equal
deleted
inserted
replaced
|
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 Lucas_Interpreter* |