Read about our upcoming Code of Conduct on this issue

Commit 653af346 authored by wenzelm's avatar wenzelm
Browse files

avoid symblinks --- make it work on Windows;

parent b64d3bdac4d9
generated/DOF-COL.sty
\ No newline at end of file
generated/DOF-core.sty
\ No newline at end of file
generated/DOF-scholarly_paper.sty
\ No newline at end of file
generated/DOF-technical_report.sty
\ No newline at end of file
generated/figures
\ No newline at end of file
generated/ontologies.tex
\ No newline at end of file
generated/paper.tex
\ No newline at end of file
......@@ -55,7 +55,7 @@ session Isabelle_C (AFP) = HOL +
theories (* document *)
"C11-FrontEnd/C_Appendices"
"./README"
document_files (in "C11-FrontEnd/document/")
document_files (in "C11-FrontEnd/document/generated")
"DOF-COL.sty"
"DOF-core.sty"
"DOF-scholarly_paper.sty"
......@@ -75,9 +75,10 @@ session Isabelle_C (AFP) = HOL +
"figures/document-model1.pdf"
"figures/document-model2.pdf"
"figures/markup-demo.png"
"lstisadof.sty"
"ontologies.tex"
"paper.tex"
document_files (in "C11-FrontEnd/document")
"lstisadof.sty"
"preamble.tex"
"root.bib"
"root.tex"
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment