The documentation can now be compiled into PDF format using dblatex. However, I have not yet figured out how to do the xsl transformations that we use in HTML to make Lisp functions print pretty (you know foo(a) is Docbook's standard format and we need (foo a))<div>

<br></div><div>Juanjo<br clear="all"><div><br></div>-- <br>Instituto de Física Fundamental, CSIC<br>c/ Serrano, 113b, Madrid 28006 (Spain) <br><a href="http://juanjose.garciaripoll.googlepages.com" target="_blank">http://juanjose.garciaripoll.googlepages.com</a><br>


</div>