On Wed, Jul 05, 2017 at 02:31:42PM +0200, d.ger...@lsr.uni-saarland.de wrote:
> Dear developers,
>
> First many thanks to you for your support with texi2dvi so far.
>
> In the new version
> $ texi2dvi --version
> texi2dvi (GNU Texinfo 6.4) 7842
>
> there was an extra check added in 'xref_files_c
Dear developers,
First many thanks to you for your support with texi2dvi so far.
In the new version
$ texi2dvi --version
texi2dvi (GNU Texinfo 6.4) 7842
there was an extra check added in 'xref_files_changed()' starting at
line 839. This looks for *.bbl and *.blg files, if a latex project,
which
> It says:
> \mathchardef\triangle="0234
>
> But what is that code, 0234? It isn't Unicode. So what is it
> referring to?
The position in the default OT1 encoding of TeX. That is not unicode.
> Now the question becomes: how do I tell pdftex to use xetex?
pdftex and xetex are different progr
Op 4-07-2017 om 18:41 schreef Gavin Smith:
On Tue, Jul 04, 2017 at 10:25:39AM +0200, Benno Schulenberg wrote:
So... what that section of texinfo.tex does is: translate a code
to a named texinfo character? But where are these texi characters
defined? Because, for example, @U{25B3} works, prod