changeset 8828 | 5be2d1745c61 |
parent 358 | df8f0fbf7dbd |
--- a/doc-src/springer.tex Mon May 08 11:13:11 2000 +0200 +++ b/doc-src/springer.tex Mon May 08 11:13:28 2000 +0200 @@ -106,5 +106,5 @@ \bibliographystyle{springer} \small\raggedright\frenchspacing \bibliography{string-abbrv,atp,funprog,general,isabelle,logicprog,theory} -\input{springer.ind} +\printindex \end{document}