The paper investigates various properties of Moreau envelopes and proximal mappings of s-lower regular functions. In particular, for such a function on uniformly convex space, the Moreau envelope is shown to be differentiable with its derivative locally Holder continuous. (C) 2015 Elsevier Ltd. All rights reserved.