Sat, 10 Mar 2012 11:21:04 +0000 Mario de Sousa Bringing comment up to date.
Fri, 09 Mar 2012 17:58:19 +0000 Mario de Sousa Semantic verification of NOT operator.
Fri, 09 Mar 2012 10:52:23 +0000 Mario de Sousa Fix bug in building structured variables.