Subject: mailing-list for TeXmacs Users
List archive
From : Amit Dubey <address@hidden>- To: address@hidden
- Subject: Problem with <minus>
- Date: Thu, 21 Oct 2004 09:01:13 +0200 (MEST)
Hi,
<minus|<pageref|my-page>|3> does not work for me. It results in
"bad minus". <pageref|my-page> correctly evaluates to a number,
and mins works in other situations (e.g. with <page-nr>)
Does any one have any hints?
-Amit
- Problem with <minus>, Amit Dubey, 10/21/2004
Archive powered by MHonArc 2.6.19.