mailing-list for TeXmacs Users

Text archives Help


Problem with <minus>


Chronological Thread 
  • 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.

Top of page