equal
deleted
inserted
replaced
125 "root.bib" |
125 "root.bib" |
126 "prelude.tex" |
126 "prelude.tex" |
127 |
127 |
128 session Intro (doc) in "Intro" = Pure + |
128 session Intro (doc) in "Intro" = Pure + |
129 options [document_variants = "intro"] |
129 options [document_variants = "intro"] |
130 theories |
|
131 document_files (in "..") |
130 document_files (in "..") |
132 "prepare_document" |
131 "prepare_document" |
133 "pdfsetup.sty" |
132 "pdfsetup.sty" |
134 "iman.sty" |
133 "iman.sty" |
135 "extra.sty" |
134 "extra.sty" |
270 "root.bib" |
269 "root.bib" |
271 "root.tex" |
270 "root.tex" |
272 |
271 |
273 session Logics (doc) in "Logics" = Pure + |
272 session Logics (doc) in "Logics" = Pure + |
274 options [document_variants = "logics"] |
273 options [document_variants = "logics"] |
275 theories |
|
276 document_files (in "..") |
274 document_files (in "..") |
277 "prepare_document" |
275 "prepare_document" |
278 "pdfsetup.sty" |
276 "pdfsetup.sty" |
279 "iman.sty" |
277 "iman.sty" |
280 "extra.sty" |
278 "extra.sty" |
326 "build" |
324 "build" |
327 "root.tex" |
325 "root.tex" |
328 |
326 |
329 session Nitpick (doc) in "Nitpick" = Pure + |
327 session Nitpick (doc) in "Nitpick" = Pure + |
330 options [document_variants = "nitpick"] |
328 options [document_variants = "nitpick"] |
331 theories |
|
332 document_files (in "..") |
329 document_files (in "..") |
333 "prepare_document" |
330 "prepare_document" |
334 "pdfsetup.sty" |
331 "pdfsetup.sty" |
335 "iman.sty" |
332 "iman.sty" |
336 "manual.bib" |
333 "manual.bib" |
362 "root.tex" |
359 "root.tex" |
363 "svmono.cls" |
360 "svmono.cls" |
364 |
361 |
365 session Sledgehammer (doc) in "Sledgehammer" = Pure + |
362 session Sledgehammer (doc) in "Sledgehammer" = Pure + |
366 options [document_variants = "sledgehammer"] |
363 options [document_variants = "sledgehammer"] |
367 theories |
|
368 document_files (in "..") |
364 document_files (in "..") |
369 "prepare_document" |
365 "prepare_document" |
370 "pdfsetup.sty" |
366 "pdfsetup.sty" |
371 "iman.sty" |
367 "iman.sty" |
372 "manual.bib" |
368 "manual.bib" |