diff options
Diffstat (limited to 'Master/texmf-dist/doc/latex/stex/example/paper/paper.bbl')
-rw-r--r-- | Master/texmf-dist/doc/latex/stex/example/paper/paper.bbl | 35 |
1 files changed, 35 insertions, 0 deletions
diff --git a/Master/texmf-dist/doc/latex/stex/example/paper/paper.bbl b/Master/texmf-dist/doc/latex/stex/example/paper/paper.bbl new file mode 100644 index 00000000000..42535bf2dd0 --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/example/paper/paper.bbl @@ -0,0 +1,35 @@ +\providecommand\seen{seen } \providecommand\webpageat{web page at } + \providecommand\homepageat{home page at } + \providecommand\projectpageat{project page at } + \providecommand\systempageat{system home page at } + \providecommand\svnrepoat{Subversion repository at } + \providecommand\January{January} \providecommand\February{February} + \providecommand\March{March} \providecommand\April{April} + \providecommand\May{May} \providecommand\June{June} + \providecommand\July{July} \providecommand\August{August} + \providecommand\September{September} \providecommand\October{October} + \providecommand\November{November} \providecommand\December{December} + \providecommand\AUSTRALIA{Australia} \providecommand\ROMANIA{Romania} + \providecommand\MEXICO{Mexico} \providecommand\ITALY{Italy} + \providecommand\USA{USA} \providecommand\IRELAND{Ireland} + \providecommand\HUNGARY{Hungary} \providecommand\JAPAN{Japan} + \providecommand\CANADA{Canada} \providecommand\SPAIN{Spain} + \providecommand\NETHERLANDS{Netherlands} \providecommand\UK{UK} + \providecommand\SWEDEN{Sweden} \providecommand\GERMANY{Germany} + \providecommand\openmath{OpenMath} \providecommand\fc{forthcoming} + \providecommand\PROC{Proceedings} \providecommand\omdoc{OMDoc} + \providecommand\activemath{ActiveMath} +\begin{thebibliography}{Koh10} + +\bibitem[Koh08]{Kohlhase:ulsmf08} +Michael Kohlhase. +\newblock Using {\LaTeX} as a semantic markup format. +\newblock {\em Mathematics in Computer Science}, 2(2):279--304, 2008. + +\bibitem[Koh10]{Kohlhase:OMDoc1.3} +Michael Kohlhase. +\newblock An open markup format for mathematical documents {\omdoc} [version + 1.3]. +\newblock Draft Specification, 2010. + +\end{thebibliography} |