chat about thread creation
Minor.
Fix cut-release script for new configure rules.
change lemma generation behavior

don't store lemmas in a pending queue, instead generate them right away

doing with pending queue is tricky, needs rethinking to do it properly
initialize variables
sets cvc printer
sets cvc parser
reorganize friendlyparser, behavior unchanged
friendlyparser: go back upto 2 words looking for match
Merge remote-tracking branch 'origin/master' into segfaultfix
membership cvc token changed to `IS_IN' to avoid conflict with IN used for let
rm warning
Merge pull request #49 from kbansal/cvcparser

Cvcparser
Merge pull request #48 from kbansal/segfaultfix

Segfaultfix
fix for windows build
Spelling.
Fix a bug in Boolean terms and arrays.  Thanks to Jean-Christophe Filliatre for the report.
Status for new bug testcase.
Cutting release 1.4.
New versioning for development version.