Merged in changes from development repository:

   Updated manual.
Merged in changes from development repository:

   Updated manual.
Updated generated files.