GOALhub and EIShub @ GitHub

We have migrated the Environment Interface Standard (EIS) from sourceforge to GitHub and have started to migrate our own EIS-enabled environments to eishub on GitHub as well to make them more accessible. We have also started a similar effort for GOAL, where some initial effort to start using goalhub have been made as well. More to come soon, have a look!

  • Posted: 2014-07-31 16:30
  • Author: koen
  • Categories: (none)


No comments.