equal
deleted
inserted
replaced
1 (* run "./bin/isabelle build -v -b Lucas_Interpreter" *) |
1 (*~~$ ./bin/isabelle build ??? |
|
2 *) |
2 session "Lucas_Interpreter" in "Lucas_Interpreter" = HOL + |
3 session "Lucas_Interpreter" in "Lucas_Interpreter" = HOL + |
3 options [document = pdf, document_output = "output"] |
4 options [document = pdf, document_output = "output"] |
4 sessions |
5 sessions |
5 "Interpret" |
6 "Interpret" |
6 theories |
7 theories |
7 "Lucas_Interpreter" |
8 "Lucas_Interpreter" |
|
9 document_files (in "../") |
|
10 "isabelle.sty" |
|
11 "isabellesym.sty" |
|
12 "pdfsetup.sty" |
8 document_files |
13 document_files |
9 "bend-7-70-en.png" |
14 "bend-7-70-en.png" |
10 "fun-pack-biegelinie-2.png" |
15 "fun-pack-biegelinie-2.png" |
11 "fun-pack-simplify.png" |
16 "fun-pack-simplify.png" |
12 "root.bib" |
17 "root.bib" |
13 "root.tex" |
18 "root.tex" |
14 |
19 |
15 (* run "./bin/isabelle build -v -b Specify_Phase" *) |
20 (*~~$ ./bin/isabelle build -v -b -D ~~/src/Tools/isac/Doc/Specify_Phase |
|
21 *** Bad session root directory: "/usr/local/isabisac/src/Tools/isac/Doc/Specify_Phase" |
|
22 *) |
16 session "Specify_Phase" in "Specify_Phase" = HOL + |
23 session "Specify_Phase" in "Specify_Phase" = HOL + |
17 options [document = pdf, document_output = "output"] |
24 options [document = pdf, document_output = "output"] |
18 sessions |
25 sessions |
19 "Specify" |
26 "Specify" |
20 theories |
27 theories |
21 "Specify_Phase" |
28 "Specify_Phase" |
|
29 document_files (in "../") |
|
30 "isabelle.sty" |
|
31 "isabellesym.sty" |
|
32 "pdfsetup.sty" |
22 document_files |
33 document_files |
23 "root.bib" |
34 "root.bib" |
24 "root.tex" |
35 "root.tex" |
25 "user-requirements.tex" |
|