| changeset 34 | 313acffe63b6 |
| parent 20 | b56616fd88dd |
| child 39 | 7ea6b019ce24 |
| 33:9b9f2117561f | 34:313acffe63b6 |
|---|---|
35 session Journal in "Journal" = PIP + |
35 session Journal in "Journal" = PIP + |
36 options [document = pdf, document_output = "..", document_variants="journal"] |
36 options [document = pdf, document_output = "..", document_variants="journal"] |
37 theories |
37 theories |
38 "~~/src/HOL/Library/LaTeXsugar" |
38 "~~/src/HOL/Library/LaTeXsugar" |
39 "Paper" |
39 "Paper" |
40 document_files |
|
41 "root.bib" |
|
42 "root.tex" |
|
43 |