Hello *,
Soon after sending the mail, I realized that there is a serious problem.
I used
(setq $inchar "$\\%i")
(setq $outchar "$\\%o")
(setq $linechar "$\\%t")
This leads to correct displaying of labels in TeXmacs. However, things
like %o1 or %i1 in input lines do not work.
Is it possible to enforce Maxima to send labels as
(\%o1)
to TeXmacs and to understand %o1 ?
% has to be escaped by \ (otherwise all the rest of the line is considered
commented out).
Do we really want these % in labels? Maybe, it's better to have labels
like
(o1)
and variables like %o1 to access them?
Andrey Grozin