src/HOL/ROOT
changeset 58623 2db1df2c8467
parent 58433 d518f892cec6
child 58626 6c473ed0ac70
     1.1 --- a/src/HOL/ROOT	Tue Oct 07 23:12:08 2014 +0200
     1.2 +++ b/src/HOL/ROOT	Tue Oct 07 23:29:43 2014 +0200
     1.3 @@ -212,7 +212,9 @@
     1.4      Quadratic_Reciprocity
     1.5      Primes
     1.6      Pocklington
     1.7 -  document_files "root.tex"
     1.8 +  document_files
     1.9 +    "root.bib"
    1.10 +    "root.tex"
    1.11  
    1.12  session "HOL-Hoare" in Hoare = HOL +
    1.13    description {*