¹Re-compile the documentation with make include-allprose-documenation dvi in order to see the documentation of ALLPROSE.