95
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
1 |
session "Lex" = HOL +
|
148
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
2 |
theories [document = false]
|
95
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
3 |
"ReStar"
|
148
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
4 |
"Sulzmann"
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
5 |
|
95
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
6 |
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
7 |
session Paper in "Paper" = Lex +
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
8 |
options [document = pdf, document_output = "..", document_variants="paper"]
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
9 |
theories
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
10 |
"~~/src/HOL/Library/LaTeXsugar"
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
11 |
"Paper"
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
12 |
document_files
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
13 |
"root.bib"
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
14 |
"root.tex"
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
15 |
|