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

[Hilmar Preuße]

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

OpenPGP_signature
Description: OpenPGP digital signature