changeset 6592 | c120262044b6 |
parent 6572 | e77641d2f4ac |
child 6618 | 13293a7d4a57 |
--- a/doc-src/Ref/ref.tex Wed May 05 14:31:31 1999 +0200 +++ b/doc-src/Ref/ref.tex Wed May 05 16:44:42 1999 +0200 @@ -63,7 +63,7 @@ \begingroup \bibliographystyle{plain} \small\raggedright\frenchspacing - \bibliography{string,atp,funprog,general,logicprog,isabelle,theory,crossref} + \bibliography{../manual} \endgroup \include{theory-syntax}