Fixed version synchronization in documentation.
Fixed a bug in formula input to list conversion. Anomaly pointed out by Jose Ferreira.
In ad.test stack memory management was changed to heap memory, as suggested by Tomasz Melcer.