I have added to CVS first public version of the manual, plus latex  
sources.  It's at ec/docs/manual/manual.pdf

If you don't have CVS, you can download it (temporarily) at

The manual reflects the ECJ implementation out on CVS: this has many  
differences from the current snapshot.  In a few days (crossing  
fingers) we'll have a new snapshot out on the website along with a  
more permanent location for the manual.

Note that exactly one package is undocumented in the manual: the  
Particle Swarm Optimization package.  I do not trust this package and  
will be heavily revising it in the near future.

Hope this is useful to people: the manual documents practically  
everything in the system including many things you may not be aware of.