| changeset 60183 | 0959e61a3f3f |
| parent 59827 | 168abe8dd1e3 |
| child 60785 | 5b6bd5ae739b |
| 60182:9f927860d907 | 60183:0959e61a3f3f |
|---|---|
2 |
2 |
3 pdflatex in ~~/src/Tools/isac/Doc/ by: |
3 pdflatex in ~~/src/Tools/isac/Doc/ by: |
4 /usr/local/isabisac/bin/isabelle build -D . |
4 /usr/local/isabisac/bin/isabelle build -D . |
5 |
5 |
6 In case nothing happens with the above command, go |
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* |
7 ~/.isabelle/isabisac/heaps/polyml-5.8_x86_64_32-linux/log$ rm Interpret* |