Claude Marché
Claude Marché
Hello Jean-Christophe and I are not familiar with biber, although it appears that I had to use it recently. Could you give us more details about the issues? Give some...
the option -f acmid or -nf acmid "ACM DL" should do what you want
Le 09/02/2021 à 09:25, Lockywolf a écrit : > Sure. > > File: > > |@Article{Abelson1989, author = {Harold Abelson and Michael Eisenberg > and Matthew Halfant and Jacob Katzenelson...
As far as I can see: https://www.bibtex.com/s/bibliography-style-natbib-plainnat/ appending the list of authors (sometimes, presumably when there more than two) to the citation key seems a feature of this `plainnat` style...
This a common misunderstanding : the set of meaningful fields is not hardcoded in bibtex or biber : the interpretation of fields is dependent of the selected style. So just...
Please provide sufficient data : a minimal .bib file and also a .tex file that illustrates how you expect the input to be.
I would like to put a label "Décysif" on such an issue. Why am I not allowed to put labels on issues?
I still can't modify labels. Never mind, it is not important.
> > I'd be interested in hearing about cases where that is difficult, and see if we can handle them in other ways than supporting Why3 transformations or Coq proofs....
> To take a concrete example, I have a VC that doesn't verify, so I look at the Task tab to figure out if I can prove the goal from...