mirror of
https://github.com/Z3Prover/z3
synced 2025-04-28 19:35:50 +00:00
updated RELEASE_NOTES
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
This commit is contained in:
parent
00dbe92cea
commit
854641c8db
1 changed files with 1 additions and 1 deletions
|
@ -3,7 +3,7 @@ RELEASE NOTES
|
|||
Version 4.3.1
|
||||
=============
|
||||
|
||||
- Added support for compiling Z3 using clang++ on OSX
|
||||
- Added support for compiling Z3 using clang++ on Linux and OSX
|
||||
|
||||
Version 4.3.0
|
||||
=============
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue