equal
deleted
inserted
replaced
1 ~~/src/Tools/isac/Doc/README |
1 ~~/src/Tools/isac/Doc/README |
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 ~/repos/isabisac/bin/isabelle build -D . |
5 |
5 |
|
6 .. ATTENTION: USE ONLY IN ../Doc/ |
|
7 E.G. in isa/ CAUSES Isabelle build from scratch .. Running HOL-Mirabelle-ex |
|
8 + FOL, FOL-ex, .. (takes MANY min.) |
|
9 to ~/.isabelle/isabisac/heaps/polyml-5.9_x86_64_32-linux$ |
|
10 |
|
11 |
6 In case nothing happens with the above command, go |
12 In case nothing happens with the above command, go |
7 ~/.isabelle/isabisac/heaps/polyml-5.8_x86_64_32-linux/log$ rm Interpret* |
13 ~/.isabelle/isabisac/heaps/polyml-5.8_x86_64_32-linux/log$ rm Interpret* |