Para documentação estamos utilizando o formatador de texto LATEX em conjunto com o LATEX2HTML e o editor de texto Emacs.