v1.3.0

git-svn-id: svn://svn.code.sf.net/p/rodin-b-sharp/svn/trunk/Rose@12833 1434b563-b632-4741-aa49-43a3a8374d2e
Revert back to r15429 (undo commit 15430 on wrong repository)

git-svn-id: svn://svn.code.sf.net/p/rodin-b-sharp/svn/trunk/Rose@15431 1434b563-b632-4741-aa49-43a3a8374d2e
ROSE Support navigation to Rodin problem markers

git-svn-id: svn://svn.code.sf.net/p/rodin-b-sharp/svn/trunk/Rose@15458 1434b563-b632-4741-aa49-43a3a8374d2e
add api tooling builder for this project

git-svn-id: svn://svn.code.sf.net/p/rodin-b-sharp/svn/trunk/Rose@15761 1434b563-b632-4741-aa49-43a3a8374d2e
update dependencies on Event-B EMF framework to work with new plug-in versions 3.0.0

git-svn-id: svn://svn.code.sf.net/p/rodin-b-sharp/svn/trunk/Rose@16194 1434b563-b632-4741-aa49-43a3a8374d2e
Version 1.4.0

git-svn-id: svn://svn.code.sf.net/p/rodin-b-sharp/svn/trunk/Rose@16285 1434b563-b632-4741-aa49-43a3a8374d2e
Update dependencies for Rodin 3.0

git-svn-id: svn://svn.code.sf.net/p/rodin-b-sharp/svn/trunk/Rose@16347 1434b563-b632-4741-aa49-43a3a8374d2e
Update referencing of Rodin keyboard for Rodin 3.0 API

git-svn-id: svn://svn.code.sf.net/p/rodin-b-sharp/svn/trunk/Rose@16348 1434b563-b632-4741-aa49-43a3a8374d2e
1.5.0 update for new RondinKeyboard API in Rodin 3.0\n\

git-svn-id: svn://svn.code.sf.net/p/rodin-b-sharp/svn/trunk/Rose@16359 1434b563-b632-4741-aa49-43a3a8374d2e
Moved Rose files into client/
Merge branch 'Rose-master'