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