Mind4SE/mind-compiler — pull request #14 by StephaneSeyvoz (2014-03-10 18:06:20+00:00)
Title: Re-sync with MIND-Tools to integrate MIND-Tools PR#14 (reviewed fix-evaluator)

Re-sync with MIND-Tools to integrate MIND-Tools PR#14 (reviewed fix-evaluator)