| changeset 280 | c840a99a3e05 |
| parent 278 | 424bdcd01016 |
| child 286 | 804fbb227568 |
| 279:f754a10875c7 | 280:c840a99a3e05 |
|---|---|
23 session Journal in "Journal" = Lex + |
23 session Journal in "Journal" = Lex + |
24 options [document = pdf, document_output = "..", document_variants="journal"] |
24 options [document = pdf, document_output = "..", document_variants="journal"] |
25 theories |
25 theories |
26 "~~/src/HOL/Library/LaTeXsugar" |
26 "~~/src/HOL/Library/LaTeXsugar" |
27 "Paper" |
27 "Paper" |
28 "PaperExt" |
|
28 document_files |
29 document_files |
29 "root.bib" |
30 "root.bib" |
30 "root.tex" |
31 "root.tex" |