Mind4SE/mind-compiler — pull request #5 by StephaneSeyvoz (2013-11-29 16:03:15+00:00)
Title: Eclipse settings

Reached stable point, doing the final merge.