Bug#970775: texlive-science: ebproof fails with Undefined control sequence

[Hilmar Preuße <hille42@web.de>]

Am 23.09.2020 um 10:17 teilte Emmanuel Hainry mit:

Hi,

> When compiling a tex file using package ebproof, I get the following
> error message:
>
>
> ! Undefined control sequence.
> <argument> l_ebproof_marks_\__int_value:w
>                                            \l_ebproof_a_box _prop
> l.482 \ebproof_new:N \l_ebproof_a_box
>
>
> Even with a tex file as simple as:
>
> ```
> \documentclass{article}
> \usepackage{ebproof}
> \begin{document}
> \end{document}
>
> ```
>
> However, using the latest version from https://framagit.org/manu/ebproof
> works OK.
Package is already ON CTAN. Good, good. Let's see when I'll find time to 
upload a new snapshot.

Hilmar
--
#206401 http://counter.li.org

Attachment: OpenPGP_signature
Description: OpenPGP digital signature