> Best solution is probably to add support for '\verb' to HyperDoc,
> but that I would prefer to do after release.
I'm not in favour of changing HyperDoc. HyperDoc should die.
\verb+\[+ and \verb+\]+ only appears in tex.spad.pamphlet and could
easily be rewritten into {\tt\bs{}\[} and {\tt\bs{}\]}.
That doesn't look nice, but we don't describe TeX commands anywhere else.
The reason why I discourage \verb is not HyperDoc, but rather the fact
that the standard \verb is not allowed to be used in arguments of
commands in LaTeX, i.e. introducing \verb might lead to problems
somewhere else.
Ralf
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.
