diff --git a/src/plugins/wp/Changelog b/src/plugins/wp/Changelog index c2949dd2c454c7b42e9438ecc1a8d85f23653298..1d4b72ae09a86bbf27afc874ced772974131b7d5 100644 --- a/src/plugins/wp/Changelog +++ b/src/plugins/wp/Changelog @@ -24,6 +24,7 @@ Plugin WP <next-release> ######################### +- WP [2020-10-07] New tactic Bit-Test range - WP [2020-09-21] Added support for Why3 interactive prover (Coq) - WP [2020-09-21] New option -wp-interactive <mode> - WP [2020-09-21] New option -wp-interactive-timeout <seconds>