safe-eiffel/ecli — pull request #9 by berenddeboer (2014-04-21 08:33:25+00:00)
Title: Some of my changes, especially interested to get the parser fix in

I also have ECLI_BOOLEAN in case you are interested.