changeset 58623 | 2db1df2c8467 |
parent 56781 | f2eb0f22589f |
child 59446 | 4427f04fca57 |
--- a/src/ZF/ROOT Tue Oct 07 23:12:08 2014 +0200 +++ b/src/ZF/ROOT Tue Oct 07 23:29:43 2014 +0200 @@ -174,7 +174,9 @@ Comb (*Combinatory Logic example*) Primrec (*Primitive recursive functions*) - document_files "root.tex" + document_files + "root.bib" + "root.tex" session "ZF-Resid" in Resid = ZF + description {*