11 Oct
2001
11 Oct
'01
4:10 p.m.
-- On Thu, 11 Oct 2001, Enea Zaffanella wrote:
CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella@cs.unipr.it 2001-10-11 16:07:50
Modified files: src : Constraint.defs.hh
Log message: In the examples, variable "cs" renamed into "inequal" and "equal".
Are you sure you want the non-English word "inequal" rather that "unequal" as a name of a variable? ciao, Pat