Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable

.gitignore

@@ -6,6 +6,7 @@
 *.cma
 *.cmi
 *.cmxa
+ocamlz3
 # Emacs temp files
 \#*\#
 # Directories with generated code and documentation
@@ -23,7 +24,7 @@ src/HTML/*
 src/cscope.in.out
 src/cscope.out
 src/cscope.po.out
-ncsope.out
+ncscope.out
 # CEDET files
 .cproject
 .project

RELEASE_NOTES

@@ -7,6 +7,11 @@ Version 4.3.2
 
 - Added support for FreeBSD. Z3 can be compiled on FreeBSD using g++. 
 
+- Reverted to `(set-option :global-decls false)` as the default. In Z3 4.3.0 and Z3 4.3.1, this option was set to true.
+  Thanks to Julien Henry for reporting this problem.
+
+- Added `doc` directory and scripts for automatically generating the API documentation.
+
 Version 4.3.1
 =============
 

src/cmd_context/cmd_context.cpp

@@ -306,7 +306,7 @@ cmd_context::cmd_context(front_end_params * params, bool main_ctx, ast_manager *
     m_params_owner(params == 0),
     m_logic(l),
     m_interactive_mode(false),
-    m_global_decls(!this->params().m_smtlib2_compliant), // SMTLIB 2.0 uses scoped decls.
+    m_global_decls(false),  // :global-decls is false by default.
     m_print_success(false), // params.m_smtlib2_compliant), 
     m_random_seed(0),
     m_produce_unsat_cores(false),