Mercurial > cpdt > repo

comparison latex/cpdt.tex @ 381:d5112c099fbf

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
New chapter: ProgLang
author Adam Chlipala <adam@chlipala.net>
date Sun, 01 Apr 2012 15:02:32 -0400
parents 549d604c3d16
children e2c88317611f
comparison
equal deleted inserted replaced
380:31fa03bc0f18 381:d5112c099fbf
49 \include{Universes.v} 49 \include{Universes.v}
50 \include{LogicProg.v} 50 \include{LogicProg.v}
51 \include{Match.v} 51 \include{Match.v}
52 \include{Reflection.v} 52 \include{Reflection.v}
53 \include{Large.v} 53 \include{Large.v}
54 \include{ProgLang.v}
54 55
55 \clearpage 56 \clearpage
56 \addcontentsline{toc}{chapter}{Bibliography} 57 \addcontentsline{toc}{chapter}{Bibliography}
57 \bibliographystyle{plain} 58 \bibliographystyle{plain}
58 \bibliography{cpdt} 59 \bibliography{cpdt}