Thu, 07 Jul 2011 10:49:08 +0200Fix makefiles when not using make as make tool
laurent [Thu, 07 Jul 2011 10:49:08 +0200] rev 335
Fix makefiles when not using make as make tool

Wed, 06 Jul 2011 12:19:30 +0200Fix bug on initialization of temp variables not using setter
laurent [Wed, 06 Jul 2011 12:19:30 +0200] rev 334
Fix bug on initialization of temp variables not using setter

Wed, 06 Jul 2011 12:01:46 +0200Fix bug when trying to find the type of a NULL symbol
laurent [Wed, 06 Jul 2011 12:01:46 +0200] rev 333
Fix bug when trying to find the type of a NULL symbol