mailing-list for TeXmacs Users

["Andrey G. Grozin" <address@hidden>]

On Sat, 10 Dec 2011, Mark Brethen wrote:
> "Alternatively, if you are not using Windows or Linux, you have to
> compile tmprint.red yourself and place the binary tmprint.b in the
> $HOME/.reduce/lisp/$LISP/$MACHINE/ directory."
This instruction is outdated: tmprint is already included in reduce.

If you have psl reduce, do the following (supposing redpsl is in your 
$PATH):

1. Edit /usr/share/TeXmacs/plugins/reduce/progs/init-reduce.scm (or 
whereever this script lives in MacOS): replace "reduce" -> "redpsl" in the 
line (:require (url-exists-in-path? "reduce"))

2. Edit /usr/libexec/TeXmacs/bin/tm_reduce (or whereever this script lives 
in MacOS): replace

exec reduce

by

exec redpsl

3. Create ~/.reducerc containing

lisp << if getenv("TEXMACS_REDUCE_PATH") then load tmprint >>$
end$

or, if you already have ~/.reducerc, add the first line above to it.

After that, the plugin should work. If you use csl reduce, you are out of 
luck: it does not change its prompt after loading tmprint, and TeXmacs 
cannot recognize it as a prompt. I'm currently in contact with the author 
of csl reduce; maybe, after some (unknown) time this will be fixed.

Andrey