Updated HISTORY and add -a flag to doc