Jean-Christophe Filliatre

Note: It would be nice to document the returned list with a proper specification. Is my understanding correct if I say that it is a list `[v0;v1;...;vn]` with * `n`...

We are aware of lablgtk3, that we already use in other OCaml projects of us (e.g. why3). Thanks for the pointer anyway. We should indeed port OCamlGraph at some point.

At least OCamlGraph was recently split into two separate opam packages, `ocamlgraph` and `ocamlgraph_gtk`, the former not depending on `lablgtk` anymore. (Since version 2.0.0.)

> I write journal abbreviations in the bib file as "|Chem.\@ Phys.\@ > Lett.|" to avoid extra stretching when processing with LaTeX. It seems > bibtex2html eats the space after...

Thanks for reporting this. It is fixed. -- Jean-Christophe On 12/09/2017 11:43, Pierre Haessig wrote: > I have trouble processing a BibTex file which contains |{\rq}| macro > instead of...

that's indeed a workaround -- Jean-Christophe On 12/09/2017 11:51, Pierre Haessig wrote: > as a workaround, thanks to the |-m| option to load a LaTex macro file, I > get...

Hi, bibtex2html translates the output of BibTeX to HTML. To do so, it first runs BibTeX and then translates its output. So it means that BibTeX should be already installed...

Hi, (Sorry for the late answer.) The .aux, .bbl, .blg files are indeed temporary files (that should be removed by bibtex2html before completion if everything works fine). I don't understand...

Hi, Have you tried the suggestion on bibtex2html's web site https://www.lri.fr/~filliatr/bibtex2html/ related to this issue, namely to use export TMPDIR=. ?

Apologies for the delay. I switch to `dune` a long time ago, and this will be in release 1.4 within a few days.