Hi,
Le mercredi 17 mai 2006 à 11:10 +0200, Martin Rubey a écrit :
[...]
> I guess the only way to find out is to grep src/algebra to filter all words
> \blabla that are contained in a line that contains ++. However, it seems to me
> that the only commands used there are \axiom, \spad, \em, and s
Ralf Hemmecke <[EMAIL PROTECTED]> writes:
> No way, however, to help you to produce nice things for hyperdoc.
I think this is not completely true. If you restrict yourself between
\begin{+++}
and
\end{+++}
to the subset of latex commands hyperdoc understands, you do get hyperdoc for
free. The
Hi Greg,
very nice that you have trouble with that. ;-)
No, you are not alone. I have NEVER seen a clear explanation of how
++ comments should be written. And that was one of the reasons why I
finally decided to introduce my own syntax (which is just a set of 5 TeX
commands
\adtype \adthisty
Hi,
Can someone explain me why
myfunc1: Z -> Boolean
++ myfunc1(z) computes a wonderful thing.
++ SIDE = 'L' SIDE = 'R'
++ TRANS = 'N': Q * C C * Q
++ TRANS = 'T': Q**T * C C * Q**T
is correctly displayed in hyperdoc
