mailing-list for TeXmacs Users

[Christopher Svanefalk <address@hidden>]

Dear all,

I am a college student getting started with writing articles in LaTex. I am loving TexMacs so far, and think it is a great and productive tools. I am having problems generating the bibliography, however, and wondered if someone can help me.

in the same folder as my .tm file, I have a BibTex file literature.bib. In this file, I have the following entry (among others):

@Book{KeYBook2007,

   editor =        {Bernhard Beckert and Reiner H\"ahnle and Peter H. Schmitt},

   title =         {Verification of Object-Oriented Software: The {KeY} Approach},

   series        = {LNCS 4334},

   publisher     = {Springer},

   year          = {2007}

}

I attempt to cite this in my .tm file using Insert->Link->Citation->Visible, resulting in: <cite|KeYBook2007>.

Finally, I add a Bibliography at the bottom with the following settings:
Aux: bib

style: tm-plain

File-name: literature.bib (I have also tried removing the .bib extension to no effect)

When I finally update everything, nothing happens. The citation remains as <cite|KeYBook2007>, and the bibliography section remains empty.

What am I doing wrong here? Thank you very much in advance for any help!

--
Best,

Christopher Svanefalk