mailing-list for TeXmacs Users

Text archives Help


[dpt@math.harvard.edu: Bug#214616: texmacs: Too much space between '-' and infinity sign]


Chronological Thread 
  • From: Ralf Treinen <address@hidden>
  • To: address@hidden
  • Subject: [address@hidden: Bug#214616: texmacs: Too much space between '-' and infinity sign]
  • Date: Tue, 7 Oct 2003 23:01:29 +0200

Hi,

I just received the following bug report. Is it a bug, or is it a
feature?

The reported behaviour is the same when you put, for instance,
a letter after the minus sign. TeX indeed puts much less space.

-Ralf.

----- Forwarded message from Dylan Thurston <address@hidden> -----

Subject: Bug#214616: texmacs: Too much space between '-' and infinity sign
From: Dylan Thurston <address@hidden>
To: Debian Bug Tracking System <address@hidden>
Date: Tue, 07 Oct 2003 13:46:44 -0400

Package: texmacs
Version: 1.0.2-2
Severity: minor

When I type '$-\infty<RET>$' into a new TeXmacs window, I get too much space
between the minus sign and the infinity symbol, much more than TeX
gives, for instance.

-- System Information:
Debian Release: testing/unstable
Architecture: i386
Kernel: Linux lotus 2.4.21 #1 Sat Jul 12 23:20:35 EDT 2003 i686
Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8

Versions of packages texmacs depends on:
ii guile-1.6-libs 1.6.4-4 Main Guile libraries
ii libc6 2.3.2-8 GNU C Library: Shared libraries
an
ii libgcc1 1:3.3.2-0pre5 GCC support library
ii libguile-ltdl-1 1.6.4-4 Guile's patched version of
libtool
ii libltdl3 1.5-2 A system independent dlopen
wrappe
ii libqthreads-12 1.6.4-4 QuickThreads library for Guile
ii libstdc++5 1:3.3.2-0pre5 The GNU Standard C++ Library v3
ii tetex-base 2.0.2-4.2 Basic library files of teTeX
hi tetex-bin 2.0.2-4.3 The teTeX binary files
ii tetex-extra 2.0.2-4.2 Additional library files of teTeX
ii xlibs 4.2.1-12.1 X Window System client libraries

-- debconf information:
* texmacs/pregenerate_flag: false
* texmacs/pregenerate_note:


----- End forwarded message -----

--



Archive powered by MHonArc 2.6.19.

Top of page