Hello John, hello the list,

The results of my efforts to export an org file with equations, proofs and
so on to odt: imagemagick works, but the png images are ugly. References of
equations and bibliography do not work, because the png images do not
reproduce the org-ref references. I am afraid that by using another way of
exporting math. (Mathjax, Mathml...) I will not get the natural deductions
proofs that I get via proof.sty.  (The export to odt or docx seems to be a
real nightmare, and that is not very surprising, because LaTeX is the only
good solution...)

Best wishes,

Jo.

2018-05-19 17:52 GMT+02:00 Joseph Vidal-Rosset <
joseph.vidal.rosset@gmail.com>:

> Hello,
>
> Edgar was right: the problems that I had with the odt export came from my
> file "user.el" i.e. the file for my setup of preferences for scimax. With a
> minimal user.el file containing the latex packages that I need , the export
> is now almost perfect. Are still lacking the right numbering of equations
> and references for these equations, and the bibliography is not pretty. But
> the main work is done.
>
> Best wishes,
>
> Jo.
>
> 2018-05-19 15:32 GMT+02:00 Joseph Vidal-Rosset <
> joseph.vidal.rosset@gmail.com>:
>
>> Dear Edgar,
>>
>> At the  moment, the results that  I get with  the odt export are  not so
>> bad. Bibliography  works and images  for proofs also. Therefore  I guess
>> that the problems that I have really to solve are minor.
>>
>> We stay in touch and I will inform you.
>>
>> Best wishes,
>>
>> --
>> Jo.
>>
>
>