equal
deleted
inserted
replaced
121 "../proof.sty" |
121 "../proof.sty" |
122 "../manual.bib" |
122 "../manual.bib" |
123 "document/build" |
123 "document/build" |
124 "document/root.tex" |
124 "document/root.tex" |
125 |
125 |
126 session Main (doc) in "Main/Docs" = HOL + |
126 session Main (doc) in "Main" = HOL + |
127 options [browser_info = false, document = false, |
127 options [document_variants = "main"] |
128 document_dump = document, document_dump_mode = "tex"] |
|
129 theories Main_Doc |
128 theories Main_Doc |
|
129 files |
|
130 "document/build" |
|
131 "document/root.tex" |
130 |
132 |
131 session ProgProve (doc) in "ProgProve/Thys" = HOL + |
133 session ProgProve (doc) in "ProgProve/Thys" = HOL + |
132 options [browser_info = false, document = false, |
134 options [browser_info = false, document = false, |
133 document_dump = document, document_dump_mode = "tex", |
135 document_dump = document, document_dump_mode = "tex", |
134 show_question_marks = false] |
136 show_question_marks = false] |