equal
deleted
inserted
replaced
14 document_files |
14 document_files |
15 "root.tex" |
15 "root.tex" |
16 "style.sty" |
16 "style.sty" |
17 |
17 |
18 session Codegen (doc) in "Codegen" = HOL + |
18 session Codegen (doc) in "Codegen" = HOL + |
19 options [document_logo = "Isar", document_bibliography, document_build = "build", |
19 options [document_logo = "Isar", document_bibliography, document_variants = "codegen", |
20 document_variants = "codegen", print_mode = "no_brackets,iff"] |
20 print_mode = "no_brackets,iff"] |
21 sessions |
21 sessions |
22 "HOL-Library" |
22 "HOL-Library" |
23 theories [document = false] |
23 theories [document = false] |
24 Setup |
24 Setup |
25 theories |
25 theories |
30 Evaluation |
30 Evaluation |
31 Computations |
31 Computations |
32 Adaptation |
32 Adaptation |
33 Further |
33 Further |
34 document_files (in "..") |
34 document_files (in "..") |
35 "prepare_document" |
35 "pdfsetup.sty" |
36 "pdfsetup.sty" |
36 "iman.sty" |
37 "iman.sty" |
37 "extra.sty" |
38 "extra.sty" |
38 "isar.sty" |
39 "isar.sty" |
39 "manual.bib" |
40 "manual.bib" |
40 document_files |
41 document_files |
|
42 "build" |
|
43 "root.tex" |
41 "root.tex" |
44 "style.sty" |
42 "style.sty" |
45 |
43 |
46 session Corec (doc) in "Corec" = Datatypes + |
44 session Corec (doc) in "Corec" = Datatypes + |
47 options [document_bibliography, document_variants = "corec"] |
45 options [document_bibliography, document_variants = "corec"] |