--- 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
--- a/doc-src/IsarRef/isar-ref.tex Thu Feb 26 20:01:56 2009 +0100
+++ b/doc-src/IsarRef/isar-ref.tex Thu Feb 26 20:03:32 2009 +0100
@@ -104,7 +104,7 @@
\input{Thy/document/ML_Tactic.tex}
\begingroup
- \bibliographystyle{plain} \small\raggedright\frenchspacing
+ \bibliographystyle{abbrv} \small\raggedright\frenchspacing
\bibliography{../manual}
\endgroup
--- a/doc-src/System/system.tex Thu Feb 26 20:01:56 2009 +0100
+++ b/doc-src/System/system.tex Thu Feb 26 20:03:32 2009 +0100
@@ -36,7 +36,7 @@
\input{Thy/document/Misc.tex}
\begingroup
- \bibliographystyle{plain} \small\raggedright\frenchspacing
+ \bibliographystyle{abbrv} \small\raggedright\frenchspacing
\bibliography{../manual}
\endgroup