SESA188919/mindoc — pull request #4 by StephaneSeyvoz (2014-02-12 16:46:00+00:00)
Title: Back to the basics, disabling dynamic CLI but keeping CLI context info.

This did not work out of the box and a fix in the mind-compiler was
needed, see:
https://github.com/Mind4SE/mind-compiler/commit/5c44dd540957c7252f7793c303516e9505c92971
I merged it in Mind4SE (please do a fresh "git pull" to get its latest
version, and once MIND-Tools Pull Request #14 is validated, it should
be OK for everyone).