Core repository for the GAMA Platform project
Please post issues about GAMA here:
https://github.com/gama-platform/gama/issues
Issues regarding the website (http://gama-platform.org) and the documentation should be posted here:
https://github.com/gama-platform/gama-platform.github.io/issues