| changeset 30116 | 1fb1833cb199 |
| parent 29758 | 7a3b5bbed313 |
| child 30124 | b956bf0dc87c |
--- a/doc-src/IsarImplementation/implementation.tex Thu Feb 26 20:01:56 2009 +0100 +++ b/doc-src/IsarImplementation/implementation.tex Thu Feb 26 20:03:32 2009 +0100 @@ -78,7 +78,7 @@ \begingroup \tocentry{\bibname} -\bibliographystyle{plain} \small\raggedright\frenchspacing +\bibliographystyle{abbrv} \small\raggedright\frenchspacing \bibliography{../manual} \endgroup