version number in CHANGES

8a92602f · BLANCHET Bruno · d8115211 · 8a92602f
Commit 8a92602f authored Dec 18, 2019 by BLANCHET Bruno
--- a/CHANGES
+++ b/CHANGES
 This file summarizes the most important changes between versions
 of the cryptographic protocol verifier.

-Version
+Version 2.02

 - Revised the conditions for eliminating collisions:
    - incompatible change: set minAutoCollElim = size<n> becomes