Changes by: Aleksey Nogin (nogin at metaprl.org)
Date: 2007-04-19 10:36:52 -0700 (Thu, 19 Apr 2007)
Revision: 10464
Log message:
- A few fixes for Windows.
- Set svn:eol-style on a few files.
Changes | Path |
Properties | metaprl/OMakefile_common |
Properties | metaprl/OMakefile_theories |
Properties | metaprl/mk/gen_omakeroot |
Properties | metaprl/mk/load_config |