Fix bug 483: readline checks must come after Boost checks in configure
Fix printing of EXISTS in CVC language printer
Fix bug 483: readline checks must come after Boost checks in configure
Merge branch '1.0.x'
adding copy constructor for the datatype enumerator
fixes bug 484
Merge branch '1.0.x'
SMT-LIB get-model output now is easier to machine-parse: contains (model...) bracketing
Some work on win32 support
Merge branch 'win32' of github.com:mdeters/CVC4 into win32