doc-isac/msteger/bakk-arbeit/thesis-biblio.tex
author Walther Neuper <neuper@ist.tugraz.at>
Tue, 17 Sep 2013 09:50:52 +0200
changeset 52107 f8845fc8f38d
parent 52056 src/Doc/isac/msteger/bakk-arbeit/thesis-biblio.tex@f5d9bceb4dc0
permissions -rw-r--r--
separated Isac documentation (~~/doc-isac) from Isabelle documentation (~~/src/Doc)
     1 {
     2 
     3 %\bibliographystyle{plain}
     4 \bibliographystyle{alpha}
     5 
     6 
     7 % the names of the bib files used
     8 
     9 \phantomsection
    10 \addcontentsline{toc}{chapter}{Bibliography}
    11 \bibliography{master_thesis.bib} 
    12 
    13 }
    14 
    15