1.1 --- a/doc-src/IsarRef/isar-ref.tex	Thu Feb 26 20:01:56 2009 +0100
     1.2 +++ b/doc-src/IsarRef/isar-ref.tex	Thu Feb 26 20:03:32 2009 +0100
     1.3 @@ -104,7 +104,7 @@
     1.4  \input{Thy/document/ML_Tactic.tex}
     1.5  
     1.6  \begingroup
     1.7 -  \bibliographystyle{plain} \small\raggedright\frenchspacing
     1.8 +  \bibliographystyle{abbrv} \small\raggedright\frenchspacing
     1.9    \bibliography{../manual}
    1.10  \endgroup
    1.11