# HG changeset patch
# User wenzelm
# Date 1235675012 -3600
# Node ID 1fb1833cb1992c347c23e25fd9dea70198f68a15
# Parent  2d2fce7fa92d661e0625552647375d7612b20488
\bibliographystyle{abbrv} for newer ref manuals;

diff -r 2d2fce7fa92d -r 1fb1833cb199 doc-src/IsarImplementation/implementation.tex
--- 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
 
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
 
diff -r 2d2fce7fa92d -r 1fb1833cb199 doc-src/System/system.tex
--- 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