Very nice!  Thanks for taking the time and effort to do this.

Do you have any plans to add sections to the manual for the contrib  
packages?

Regards,
-Dave

On Oct 18, 2010, at 10:28 PM, Sean Luke wrote:

> 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 http://cs.gmu.edu/~sean/temp/manual.pdf
>
> 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.
>
> Sean