equal
deleted
inserted
replaced
1 session "Lex" = HOL + |
|
2 theories [document = false] |
|
3 "Spec" |
|
4 (*"SpecExt"*) |
|
5 "Lexer" |
|
6 (*"LexerExt"*) |
|
7 "Simplifying" |
|
8 "Sulzmann" |
|
9 "Positions" |
|
10 (*"PositionsExt"*) |
|
11 "Exercises" |
|
12 |
|
13 session Paper in "Paper" = Lex + |
|
14 options [document = pdf, document_output = "..", document_variants="paper"] |
|
15 theories |
|
16 "~~/src/HOL/Library/LaTeXsugar" |
|
17 "Paper" |
|
18 document_files |
|
19 "root.bib" |
|
20 "root.tex" |
|
21 |
1 |
22 |
2 |
23 session Journal in "Journal" = HOL + |
3 |
24 options [document = pdf, document_output = "..", document_variants="journal"] |
4 session Journal in Journal = "HOL" + |
|
5 options [document_output = "..", document_variants="journal"] |
|
6 sessions |
|
7 "HOL-Library" |
|
8 directories |
|
9 ".." |
25 theories [document = false] |
10 theories [document = false] |
26 "~~/src/HOL/Library/LaTeXsugar" |
11 "HOL-Library.LaTeXsugar" |
27 "~~/src/HOL/Library/Sublist" |
12 "HOL-Library.Sublist" |
28 "../Spec" |
13 "../Spec" |
|
14 "../Lexer" |
29 "../RegLangs" |
15 "../RegLangs" |
30 "../Lexer" |
|
31 "../Simplifying" |
16 "../Simplifying" |
32 "../Sulzmann" |
17 "../Sulzmann" |
33 "../Positions" |
18 "../Positions" |
34 theories [document = true] |
19 theories [document = true] |
35 "Paper" |
20 "Paper" |
36 "PaperExt" |
|
37 document_files |
21 document_files |
38 "root.bib" |
22 "root.bib" |
39 "root.tex" |
23 "root.tex" |