Merge remote-tracking branch 'origin/docs' into swo
Merge remote-tracking branch 'origin/docs' into swo
CRLF->LF (again, jwc's help)
Proper capitalization of included files.
Ignoring latexmk and vim auxiliary files.
Initial revisions for version 2.0.0
Various updates to user manual:

- added version info to title
- updated information on command line script
- improved section on latex pretty printing
Improved section on VDM-UML mapping.
Add: import overture examples subsection.
Merge remote-tracking branch 'origin/docs' into version2-manual
Completed PO descriptions list.
Rewrote section about RT log viewer validation conjectures.
Whitespace harmonization (jwc ok)
Merge remote-tracking branch 'origin/version2-manual' into docs

Conflicts:
	documentation/examples/VDMRT/Robot/TestRun.txt
New example makde by Nick and Peter added
no message
Added windows versions of screenshots.
Merge remote-tracking branch 'origin/docs' into version2-manual
New updates to the Conway Game of Life example
Updated to work with Overture 2.0