| changeset 391 | 5c283ecefda6 |
| parent 379 | 8c4b6fb43ebe |
| 390:15b8fc34cb08 | 391:5c283ecefda6 |
|---|---|
16 session Journal in "Journal" = Myhill + |
16 session Journal in "Journal" = Myhill + |
17 options [document = pdf, document_output = "..", document_variants = "journal"] |
17 options [document = pdf, document_output = "..", document_variants = "journal"] |
18 theories |
18 theories |
19 "Paper" |
19 "Paper" |
20 |
20 |
21 session Slides6 in "Slides" = Myhill + |
|
22 options [document = pdf, document_output= "..", document_variants = "slides6"] |
|
23 theories |
|
24 "Slides6" |