equal
deleted
inserted
replaced
255 "../extra.sty" |
255 "../extra.sty" |
256 "../ttbox.sty" |
256 "../ttbox.sty" |
257 "../manual.bib" |
257 "../manual.bib" |
258 "document/build" |
258 "document/build" |
259 "document/root.tex" |
259 "document/root.tex" |
260 "document/syntax.tex" |
|
261 |
260 |
262 session Sledgehammer (doc) in "Sledgehammer" = Pure + |
261 session Sledgehammer (doc) in "Sledgehammer" = Pure + |
263 options [document_variants = "sledgehammer"] |
262 options [document_variants = "sledgehammer"] |
264 theories |
263 theories |
265 files |
264 files |