Plus operator for string concatenation, #890
fixup for sp_rowcol
Fixing bug in solve, unittests
#892: reverting to ExternalFunction
Tentative fix for #888: compiler warnings
Concerning #892: more reversions to ExternalFunction
Concerning #892: more reversions to ExternalFunction
automatic documentation update
Concerning #891: sparsity and complexity of matrix_tools solve
automatic documentation update
automatic casadibot merge