[Marvin-cvs] marvin/src/libnn/propagate check.Makefile check.ml

[Matthieu Lagacherie]

CVSROOT:        /cvsroot/marvin
Module name:    marvin
Branch:         
Changes by:     Matthieu Lagacherie <address@hidden>    03/09/13 11:34:26

Modified files:
        src/libnn/propagate: check.Makefile 
Added files:
        src/libnn/propagate: check.ml 

Log message:
        I ve added a check.ml

CVSWeb URLs:
http://savannah.gnu.org/cgi-bin/viewcvs/marvin/marvin/src/libnn/propagate/check.ml?rev=1.1
http://savannah.gnu.org/cgi-bin/viewcvs/marvin/marvin/src/libnn/propagate/check.Makefile.diff?tr1=1.1&tr2=1.2&r1=text&r2=text