[wp] fix change log for potassium

src/plugins/wp/Changelog

@@ -20,15 +20,15 @@
 #   <Prover>: prover
 ###############################################################################
 
--  Wp         [2019/28/01] Now -wp-dynamic is set by default (annotation @calls)
-
- -  Wp         [2019/01/28] New floating-point model
- - WP          [2019/02/05] Auto filter properties with name "no_wp:"
- - Wp          [2019/01/28] New floating-point model
+ - Wp          [2019/04/24] Support for Why3 1.* and Coq 8.{7-9}
+ - Wp          [2019/02/26] Support for @check ACSL annotations
  - WP          [2018/02/16] Filter out some variables from separation
  - TIP         [2018/02/15] Extend bitwise-eq auto-strategy on hypotheses
  - TIP         [2018/02/15] Fix wrong reconciliation of sub-scripts during replay
  - Wp          [2018/02/15] Better naming convention, consistent with report-classify
+ - WP          [2019/02/05] Auto filter properties with name "no_wp:"
+ - Wp          [2019/01/28] Now -wp-dynamic is set by default (annotation @calls)
+ - Wp          [2019/01/28] New floating-point model
  - Wp          [2018/01/18] Auto-Search mode, see -wp-auto
  - TIP         [2018/01/18] Auto-Search mode from the GUI
  - TIP         [2018/01/18] New Strategies for bitwise and congruence operations
@@ -38,21 +38,8 @@
  - TIP         [2017/04/25] New tactical Congruence (divisions and products)
  - Qed         [2017/10/30] Extends simplifications for lsl,lsr and div
  - Wp          [2017/10/27] Fix soundness bug when assigning non-valid ranges
- - Qed         [2017/10/27] New simplifications for validirt and ranges
+ - Qed         [2017/10/27] New simplifications for validity and ranges
  - TIP         [2017/10/27] New tacticals for validity and ranges
- - TIP         [2017/04/25] Options -wp-time-{extra|margin} for more stability
- -* Gui        [2017/04/25] Fixed bug when running prover from the TIP
- - Wp          [2017/04/25] Improved model and simplifications of logical shifts
- - Wp          [2017/04/25] New simplification logic functions (-wp-reduce)
- - Wp          [2017/04/25] New simplification of unused variables (-wp-parasite)
- - Wp          [2017/04/25] New simplification for ground terms (-wp-ground)
- - Wp          [2017/04/25] Option -wp-prenex to normalize nested binders
- - Wp          [2017/04/25] Option -wp-overflows to add explicit assumptions
- - TIP         [2017/04/25] New tactical Overflow (to cope with modulus)
- - TIP         [2017/04/25] New tactical Bitwised, BitRange and Shift
- - TIP         [2017/04/25] New tactical Rewrite (two apply equalities)
- - Wp          [2017/03/12] Reduction of equalities with logic functions
- - Wp          [2017/03/12] More simplifications wrt integer domains
 
 ######################
 Plugin WP 18.0 (Argon)