|
chapter Doc (*Isabelle documentation*)
session Demo_FoilTeX (doc) = HOL +
options [document_variants = "demo_foiltex", (*Isabelle documentation*)
document_build = "pdflatex", document_logo = "FoilTeX"]
theories
Document
document_files (in "$ISABELLE_FOILTEX_HOME")
"fltfonts.def"
"foil20.clo"
"foils.cls"
document_files
"isabellefoils.sty"
"root.tex"
[ Dauer der Verarbeitung: 0.18 Sekunden
(vorverarbeitet)
]
|
