2008-03-03
	- fixed the translation of unary functions into the C infix syntax
	- added methods to the AST class to be able to manipulate the tree

2008-02-08
	- fixed FunctionMax::makeNode which returned a min instead of a max
	- fixed CSPParserCallback::addDomainValue(int v) which must be virtual
	- switched to the stdout syntax for the verifier test files
	
2006-12-12:
	class RelationTagAction wrongly assumed that all the text in an
	XML tag was reported in a single call of the SAX callback. This is
	now fixed in a way that saves memory.
	
2006-11-23: 
	the cb field in the SAXCSPHandler must be a reference to a
	callback (the & was missing)
	
	class SAXCSPHandler : public HandlerBase
	{ 
	protected: 
	  Callback &cb;
	...
