equal
deleted
inserted
replaced
487 "manual.bib" |
487 "manual.bib" |
488 document_files |
488 document_files |
489 "root.tex" |
489 "root.tex" |
490 "style.sty" |
490 "style.sty" |
491 |
491 |
|
492 session Demo_Easychair (doc) in "Demo_Easychair" = HOL + |
|
493 options [document_variants = "demo_easychair"] |
|
494 theories |
|
495 Document |
|
496 document_files (in "$ISABELLE_EASYCHAIR_HOME") |
|
497 "easychair.cls" |
|
498 document_files |
|
499 "root.bib" |
|
500 "root.tex" |
|
501 |
492 session Demo_LIPIcs (doc) in "Demo_LIPIcs" = HOL + |
502 session Demo_LIPIcs (doc) in "Demo_LIPIcs" = HOL + |
493 options [document_variants = "demo_lipics", |
503 options [document_variants = "demo_lipics", |
494 document_build = "pdflatex", document_heading_prefix = "", document_comment_latex] |
504 document_build = "pdflatex", document_heading_prefix = "", document_comment_latex] |
495 theories |
505 theories |
496 Document |
506 Document |