Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]


Groups > linux.debian.bugs.dist > #1026119

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

From Hilmar Preuße <hille42@web.de>
Newsgroups linux.debian.bugs.dist
Subject Bug#970775: texlive-science: ebproof fails with Undefined control sequence
Date 2020-09-23 12:20 +0200
Message-ID <ASa2t-58n-5@gated-at.bofh.it> (permalink)
References <AS8k2-44y-3@gated-at.bofh.it> <AS8k2-44y-3@gated-at.bofh.it>
Organization linux.* mail to news gateway

Show all headers | View raw


[Multipart message — attachments visible in raw view] - view raw

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

Back to linux.debian.bugs.dist | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread


Thread

Bug#970775: texlive-science: ebproof fails with Undefined control sequence Emmanuel Hainry <ehainry@laposte.net> - 2020-09-23 10:30 +0200
  Bug#970775: texlive-science: ebproof fails with Undefined control sequence Hilmar Preuße <hille42@web.de> - 2020-09-23 12:20 +0200
    Bug#970775: texlive-science: ebproof fails with Undefined control sequence Norbert Preining <preining@logic.at> - 2020-09-23 16:20 +0200

csiph-web