interpolation fix and improving duality quantifier handling
set text default to auto to try to avoid crlf disasters
duality fix
.NET and Java API Bugfix (Codeplex issue 101)

Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
bugfix

Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
interpolation fix
getting rid of DOS line endings
merged interpolation and duality changes
g++ pedantry
C API bugfix (Stackoverflow #22864146)

Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable
duality quantifier simplification fix
merging duality and interpolation changes
Compilation fix for FreeBSD
.NET API documentation fixes

Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
added dotnet generated files to .gitignore

Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable
.NET API documentation XML build fix

Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
FPA division bugfix

Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
Merge branch 'unstable' of https://git01.codeplex.com/z3 into ml-ng