Sat, 14 Apr 2012 16:44:53 +0100 Mario de Sousa Removing code from search_varfb_instance_type_c (use search_var_instance_decl_c instead).
Sat, 14 Apr 2012 15:19:17 +0100 Mario de Sousa Fix bug by expanding permissible data input of search_var_instance_decl_c
Fri, 13 Apr 2012 13:05:44 +0100 Mario de Sousa Edit formating and delete unused code.
Sat, 07 Apr 2012 16:14:17 +0100 Mario de Sousa Start data type checking of var declarations (including direct variables!)
Tue, 03 Apr 2012 12:42:16 +0100 Mario de Sousa Delete incorrect comments I had inserted previously (confusing EQ and NE functions)
Sat, 31 Mar 2012 21:46:37 +0100 Mario de Sousa merging with Lauren't changeset.
Sat, 31 Mar 2012 21:36:17 +0100 Mario de Sousa merge with Laurent's changeset (essentially ignore all changes).