Re: [Axiom-developer] space in ++ description

[Vanuxem Grégory]

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 some
> others. Another source is doc/hypertex/pages.

Yes, I have found many commands in doc/hypertex/pages/ht.db but they are
not documented :-(

Someone knows what the \spad command do ? It's heavily used in the axiom
library but it seems that hyperdoc doesn't use it.

> I found that you can use verbatim

Thanks, I'll use this environment.

Cheers,

Greg