| changeset 55385 | 169e12bbf9a3 |
| parent 55159 | 608c157d743d |
| child 56420 | b266e7a86485 |
| 55384:1107de77c633 | 55385:169e12bbf9a3 |
|---|---|
1 chapter Doc |
1 chapter Doc |
2 |
2 |
3 session Classes (doc) in "Classes" = HOL + |
3 session Classes (doc) in "Classes" = HOL + |
4 options [document_variants = "classes"] |
4 options [document_variants = "classes", quick_and_dirty] |
5 theories [document = false] Setup |
5 theories [document = false] Setup |
6 theories Classes |
6 theories Classes |
7 files |
7 files |
8 "../prepare_document" |
8 "../prepare_document" |
9 "../pdfsetup.sty" |
9 "../pdfsetup.sty" |