>>>>> "Jose'" == Jose' Matos <[EMAIL PROTECTED]> writes:
Jose'> Any comment on this patch, need to add the support to output Jose'> docbook xml? If not I will commit it later today. I guess it's OK, also it is a bit strange that we are mixing latex and *ML flavors together. JMarc