Changes by: Aleksey Nogin (nogin at metaprl.org)
Date: 2007-04-13 12:39:09 -0700 (Fri, 13 Apr 2007)
Revision: 10423
Log message:

      Use ConfMsgError, where appropriate.

Changes  Path
+7 -5 metaprl/OMakefile
+52 -61 metaprl/OMakefile_common
+21 -21 metaprl/OMakefile_theories
+2 -1 metaprl/OMakeroot
+8 -7 metaprl/filter/base/OMakefile
+5 -3 metaprl/mk/defaults
+1 -1 metaprl/mk/gen_omakeroot