Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1998-05-29 14:12:31 -0700 (Fri, 29 May 1998)
Revision: 2203
Log message:
Need to update ocamldep.
Changes | Path |
+4 -1 | metaprl/filter/prlcomp.ml |
+0 -1 | metaprl/theories/ocaml/Makefile |