equal
deleted
inserted
replaced
324 "build" |
324 "build" |
325 "logics.sty" |
325 "logics.sty" |
326 "root.tex" |
326 "root.tex" |
327 |
327 |
328 session Main (doc) in "Main" = HOL + |
328 session Main (doc) in "Main" = HOL + |
329 options [document_build = "build", document_variants = "main"] |
329 options [document_variants = "main"] |
330 theories Main_Doc |
330 theories Main_Doc |
331 document_files (in "..") |
331 document_files (in "..") |
332 "prepare_document" |
332 "pdfsetup.sty" |
333 "pdfsetup.sty" |
333 document_files |
334 document_files |
|
335 "build" |
|
336 "root.tex" |
334 "root.tex" |
337 |
335 |
338 session Nitpick (doc) in "Nitpick" = Pure + |
336 session Nitpick (doc) in "Nitpick" = Pure + |
339 options [document_logo = "Nitpick", document_build = "build", document_variants = "nitpick"] |
337 options [document_logo = "Nitpick", document_build = "build", document_variants = "nitpick"] |
340 document_files (in "..") |
338 document_files (in "..") |