diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-06-15 22:08:56 -0400 |
|---|---|---|
| committer | lianah <lianahady@gmail.com> | 2014-06-19 18:24:39 -0400 |
| commit | fd252474451635ff36a64f1e0a58cfb20171a582 (patch) | |
| tree | 2c9bf6e20dcac96ec23e95e57080331ce5ed5457 /INSTALL | |
| parent | ae182dad751cb2a8955904a373ef3d2960557506 (diff) | |
Versioning preparation.
Diffstat (limited to 'INSTALL')
| -rw-r--r-- | INSTALL | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,4 +1,4 @@ -CVC4 release version 1.3. +CVC4 release version 1.4. *** Quick-start instructions |