A distributed development environment for the CoGe Platform.