mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-08 18:31:49 +00:00
Code Activity

updated RELEASE_NOTES

Browse source 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
This commit is contained in:
Leonardo de Moura 2012-11-14 11:15:12 -08:00
parent 1ec0d02ead
commit 3f52f30f9c
1 changed files with 5 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
RELEASE_NOTES
View file

@ -1,5 +1,10 @@
RELEASE NOTES
Version 4.3.2
=============
- Added get_version() and get_version_string() to Z3Py
Version 4.3.1
=============