| changeset 23956 | 48494ccfabaf |
| parent 22347 | ddbf185a3be0 |
| child 25533 | 0140cc7b26ad |
--- a/doc-src/IsarAdvanced/Classes/classes.tex Tue Jul 24 15:20:53 2007 +0200 +++ b/doc-src/IsarAdvanced/Classes/classes.tex Tue Jul 24 15:21:54 2007 +0200 @@ -79,7 +79,7 @@ \begingroup %\tocentry{\bibname} \bibliographystyle{plain} \small\raggedright\frenchspacing -\bibliography{../../manual,classes} +\bibliography{../../manual} \endgroup \end{document}