| changeset 218 | 16af5b8bd285 |
| parent 185 | 841f7b9c0a6a |
| child 223 | 17c079699ea0 |
| 217:47179a172c54 | 218:16af5b8bd285 |
|---|---|
12 "Paper" |
12 "Paper" |
13 document_files |
13 document_files |
14 "root.bib" |
14 "root.bib" |
15 "root.tex" |
15 "root.tex" |
16 |
16 |
17 |
|
18 session Journal in "Journal" = Lex + |
|
19 options [document = pdf, document_output = "..", document_variants="journal"] |
|
20 theories |
|
21 "~~/src/HOL/Library/LaTeXsugar" |
|
22 "Paper" |
|
23 document_files |
|
24 "root.bib" |
|
25 "root.tex" |