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 only trouble being that it is not completely clear what hyperdoc does
understand.
In your example I simply guess that the font HyperDoc uses is not really fixed
width. Somehow it seems that spaces differ in size from other letters.
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 some
others. Another source is doc/hypertex/pages.
I found that you can use verbatim:
)abbrev package MYTEST MyTest
MyTest() : Exports == Implementation where
Z ==> Integer
Exports == with
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
myfunc2: Z -> Boolean
++ myfunc2(z) computes another wonderful thing.
++ \begin{verbatim}
++ A * P = Q * [ R11 R12 ]
++ [ 0 R22 ]
++ \end{verbatim}
Implementation == add
myfunc1(n)== one? n
myfunc2(n)== zero? n
Martin
_______________________________________________
Axiom-developer mailing list
[email protected]
http://lists.nongnu.org/mailman/listinfo/axiom-developer
