nicolas.meric
/
Isabelle_DOF
forked from Isabelle_DOF/Isabelle_DOF
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Migration to latest Isabelle development version.

This commit is contained in:
Achim D. Brucker 2022-08-11 23:04:07 +01:00
parent 9f2e2b53a4
commit 7f500dc257
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/scala/dof_document_build.scala
View File

@ -52,8 +52,8 @@ object DOF_Document_Build
// produced by alternative presentation hook (workaround for missing Toplevel.present_theory)
for (name <- context.document_theories) {
val path = Path.basic(Document_Build.tex_name(name))
val xml =
YXML.parse_body(context.get_export(name.theory, Export.DOCUMENT_LATEX + "_dof").text)
val entry = context.session_context(name.theory, Export.DOCUMENT_LATEX + "_dof", permissive = true)
val xml = YXML.parse_body(entry.text)
if (xml.nonEmpty) {
File.Content(path, xml).output(latex_output(_, file_pos = path.implode_symbolic))
.write(directory.doc_dir)