
diff -r 2d2fce7fa92d -r 1fb1833cb199 doc-src/IsarRef/isar-ref.tex
--- 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
 




