Fix printing of EXISTS in CVC language printer
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
Fix an options-processing bug on some platforms (e.g., MacOS).
Merge branch '1.0.x'
update ANTLR URLs (antlr.org -> antlr3.org)
Merge branch '1.0.x'
fix for theory preprocessing cache on clang, perhaps others.
Merge branch '1.0.x'
add user patterns to the Smt1 parser; update NEWS file
update NEWS file
partially address bug 486: allow some model inspection of quantifiers
partially address bug 486: allow some model inspection of quantifiers
fix to workaround ANTLR 3.2 issue with initialization
Merge branch '1.0.x'

Conflicts:
	NEWS