[CLAIR-devel] clair/src statsem.pl

Roberto Bagnara roberto at cs.unipr.it
Sun Jun 6 07:44:31 CEST 2004


CVSROOT:	/cvs/clair
Module name:	clair
Changes by:	roberto at cs.unipr.it	2004-06-06 07:44:31

Modified files:
	src            : statsem.pl 

Log message:
	Static semantics for value environments fixed.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/clair/src/statsem.pl.diff?cvsroot=clair&r1=1.5&r2=1.6




More information about the CLAIR-devel mailing list