Added possibility to update selected formulae.

Technically this was not a new feature. The code to perform this operation was done but not well used. I reorganized some things and refactored some methods to make this happen.
Still needs testing!!