Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-11-08 15:04:56 -0800 (Tue, 08 Nov 2005)
Revision: 8139
Log message:

      "THEORY_DEPENCIES" -> "THEORY_DEPS" (Oops, evils of too much cut&paste - I
      didn't, of course, mean to replicate a misspelling all over the place).
      

Changes  Path
+9 -9 metaprl/OMakefile
+1 -1 metaprl/theories/base/OMakefile
+1 -1 metaprl/theories/czf/OMakefile
+1 -1 metaprl/theories/experimental/unity/OMakefile
+1 -1 metaprl/theories/fol/OMakefile
+1 -1 metaprl/theories/ilc/OMakefile
+1 -1 metaprl/theories/itt/applications/algebra/OMakefile
+1 -1 metaprl/theories/itt/applications/datatypes/OMakefile
+1 -1 metaprl/theories/itt/applications/function_spaces/OMakefile
+1 -1 metaprl/theories/itt/applications/objects/OMakefile
+1 -1 metaprl/theories/itt/applications/supinf/OMakefile
+1 -1 metaprl/theories/itt/extensions/OMakefile
+1 -1 metaprl/theories/itt/extensions/rfun/OMakefile
+1 -1 metaprl/theories/itt/reflection/core/OMakefile
+1 -1 metaprl/theories/itt/reflection/experimental/OMakefile
+1 -1 metaprl/theories/itt/reflection/experimental/jyh/OMakefile
+1 -1 metaprl/theories/itt/reflection/obsolete/OMakefile
+1 -1 metaprl/theories/itt/tests/OMakefile
+1 -1 metaprl/theories/kat/OMakefile
+1 -1 metaprl/theories/mesa/OMakefile
+1 -1 metaprl/theories/poplmark/naive/OMakefile
+1 -1 metaprl/theories/sil/OMakefile
+1 -1 metaprl/theories/tptp/OMakefile
+1 -1 metaprl/theories/tutorial/OMakefile