Hi Julien,
On 09.07.22 07:47, [email protected] wrote:
Why doc/* ? I checked again and didn't see anything special.
Coq-Equations-1.3-8.15/doc/myplainnat.bst:%% Copyright 1993-1999 Patrick W Daly Coq-Equations-1.3-8.15/doc/qsymbols.sty:% Copyright <A9>1994 Kristoffer H. Rose <[email protected]>
Coq-Equations-1.3-8.15/doc/myplainnat.bst:%% of the LaTeX Project Public License Distributed from CTAN
https://github.com/mattam82/Coq-Equations/issues/496 I'm waiting for upstream feedback before a new upload.
Great, thanks a lot. Thorsten
