From f9687e780aa6653e1a0c4eb5521c4c6a1b6f7f18 Mon Sep 17 00:00:00 2001 From: Dan Liew Date: Sat, 12 Dec 2015 11:50:38 +0000 Subject: [PATCH] Link to the release notes in ``README.md`` --- README.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/README.md b/README.md index 9ca373f87..7d2fc5a24 100644 --- a/README.md +++ b/README.md @@ -6,6 +6,8 @@ under the [MIT license](LICENSE.txt). Z3 can be built using [Visual Studio][1] or a [Makefile][2]. It provides [bindings for several programming languages][3]. +See the [release notes](RELEASE_NOTES) for notes on various stable releases of Z3. + [1]: #building-z3-on-windows-using-visual-studio-command-prompt [2]: #building-z3-using-make-and-gccclang [3]: #z3-bindings