forked from Isabelle_DOF/Isabelle_DOF
Moved \bibliographystyle{} to the top of the template to allow overriding it in preample.tex
This commit is contained in:
parent
88dda0a05b
commit
6198602740
|
@ -24,6 +24,7 @@
|
|||
\usepackage[T1]{fontenc}
|
||||
\usepackage[utf8]{inputenc}
|
||||
\usepackage{textcomp}
|
||||
\bibliographystyle{abbrvnat}
|
||||
\usepackage[english]{babel}
|
||||
\RequirePackage[caption]{subfig}
|
||||
\usepackage{isabelle}
|
||||
|
@ -77,7 +78,6 @@
|
|||
\input{session}
|
||||
% optional bibliography
|
||||
\IfFileExists{root.bib}{%
|
||||
\bibliographystyle{abbrvnat}
|
||||
\bibliography{root}
|
||||
}{}
|
||||
\end{document}
|
||||
|
|
|
@ -26,6 +26,7 @@
|
|||
\usepackage[T1]{fontenc}
|
||||
\usepackage[utf8]{inputenc}
|
||||
\usepackage{textcomp}
|
||||
\bibliographystyle{abbrvnat}
|
||||
\usepackage[varqu,varl]{zi4}% inconsolata typewriter
|
||||
\usepackage{amsmath,amsthm}
|
||||
\usepackage{newtxsf}
|
||||
|
@ -104,7 +105,6 @@
|
|||
\input{session}
|
||||
% optional bibliography
|
||||
\IfFileExists{root.bib}{%
|
||||
\bibliographystyle{abbrvnat}
|
||||
\bibliography{root}
|
||||
}{}
|
||||
\end{document}
|
||||
|
|
|
@ -24,6 +24,7 @@
|
|||
\usepackage[T1]{fontenc}
|
||||
\usepackage[utf8]{inputenc}
|
||||
\usepackage{textcomp}
|
||||
\bibliographystyle{abbrvnat}
|
||||
\usepackage[english]{babel}
|
||||
\RequirePackage[caption]{subfig}
|
||||
\usepackage{isabelle}
|
||||
|
@ -83,7 +84,6 @@
|
|||
\input{session}
|
||||
% optional bibliography
|
||||
\IfFileExists{root.bib}{%
|
||||
\bibliographystyle{abbrvnat}
|
||||
\bibliography{root}
|
||||
}{}
|
||||
\end{document}
|
||||
|
|
Loading…
Reference in New Issue