[PPL-devel] ppl/interfaces/OCaml ppl_ocaml.cc
Andrea Cimino
cimino at cs.unipr.it
Mon Dec 4 15:49:39 CET 2006
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: cimino at cs.unipr.it 2006-12-04 15:49:39
Modified files:
interfaces/OCaml: ppl_ocaml.cc
Log message:
Simplified the code to build constraint systems, generator systems
and congruence systems.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_ocaml.cc.diff?cvsroot=ppl&r1=1.18&r2=1.19
More information about the PPL-devel
mailing list