mn200/HOL — pull request #169 by dsheets (2014-06-06 10:57:57+00:00)
Title: Update mosml smart configuration for mosml 2.10 paths

Defaults probably shouldn't require config overrides. I think this fixes the default mosml 2.10 installation behavior and retains the previous behavior. There is also a little more debugging output.