From 46873d32aebc29198e205ebdafaaa66aad87aa5d Mon Sep 17 00:00:00 2001 From: Sebastian Ullrich Date: Tue, 27 Jun 2017 22:08:45 +0200 Subject: [PATCH] chore(doc/changes): update changelog --- doc/changes.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/doc/changes.md b/doc/changes.md index 8ba4ee5631..ddf93e9216 100644 --- a/doc/changes.md +++ b/doc/changes.md @@ -25,6 +25,8 @@ For more details, see discussion [here](https://github.com/leanprover/lean/pull/ * Renamed `pose` tactic -> `let` +* `assume` and `suppose` are now real tactics that do not exit tactic mode. + v3.2.0 (18 June 2017) -------------