Merge branch 'dev' into dev-ff-gelnet-combined
Merge branch 'dev-ff-gelnet-combined' into dev
Merge branch 'dev' into dev-ff-gelnet-combined
Debugged elm_search (handling of product terms)
Made compilation work for sequential version of...
transfer branch dev-ff-gelnet-combined from old...
Added whole repository (except use-cases)