Fri, 28 Mar 2008 10:06:20 +0100Adding support to distinguish direct variables and pointed variables
lbessard [Fri, 28 Mar 2008 10:06:20 +0100] rev 115
Adding support to distinguish direct variables and pointed variables