doc-src/isac/CTP-userinterfaces.tex
branchdecompose-isar
changeset 38079 431344850e40
parent 38077 6f173c4caf79
child 38088 5d792dd2f947
child 38089 042b19985ea0
     1.1 --- a/doc-src/isac/CTP-userinterfaces.tex	Wed Dec 15 11:05:07 2010 +0100
     1.2 +++ b/doc-src/isac/CTP-userinterfaces.tex	Mon Dec 27 10:38:49 2010 +0100
     1.3 @@ -159,5 +159,6 @@
     1.4  \section{Conclusion and future work}
     1.5  
     1.6  
     1.7 -\bibliography{bib/math-eng,bib/bk,bib/RISC_2,bib/isac,bib/pl,bib/math,bib/pl}
     1.8 +\bibliography{CTP-userinterfaces}
     1.9 +%\bibliography{bib/math-eng,bib/bk,bib/RISC_2,bib/isac,bib/pl,bib/math,bib/pl}
    1.10  \end{document}
    1.11 \ No newline at end of file