Revise in mrlib