ChangeLogTag:Fri Feb 28 08:46:21 CET 2014  Johnny Willemsen  <jwillemsen@remedy.nl>

git-svn-id: svn://svn.dre.vanderbilt.edu/DOC/Middleware/trunk/CIAO@97637 ae88bc3d-4319-0410-8dbf-d08b4c9d3795
Make x.2.5 public for the community

git-svn-id: svn://svn.dre.vanderbilt.edu/DOC/Middleware/trunk/CIAO@97641 ae88bc3d-4319-0410-8dbf-d08b4c9d3795