changeset 30116 | 1fb1833cb199 |
parent 29730 | 924c1fd5f303 |
child 30185 | 6889bfc03804 |
--- 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