ALLPROSE is an Aldor Literate Programming Support Environment. It is meant to support the creation of new libraries for Aldor.
Writing programs in a literate programming style basically means to write a documentation of the program together with the actual code in one file. From such files a hyperlinked documentation and the library code can be built.
Documentation of the program does not simply mean to give a few comments on several parts of it, but rather to describe the ideas and concepts behind the actual code and give references to the literature. For more details consult http://www.literateprogramming.com. See also http://www.literateprograms.org.