Commit c1eccd5a authored by wenzelm's avatar wenzelm
Browse files

tuned comment;

parent a6125efb0598
...@@ -17,7 +17,7 @@ session "Example-Submission" (AFP) = HOL + ...@@ -17,7 +17,7 @@ session "Example-Submission" (AFP) = HOL +
theories theories
Submission Submission
(* Dependencies on non-Isabelle files: *) (* Dependencies on document source files: *)
document_files document_files
"root.bib" "root.bib"
"root.tex" "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