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