[WP] Fixes the Changelog format for the html generation.

src/plugins/wp/Changelog

@@ -24,29 +24,29 @@
 Plugin WP 19.0 (Potassium)
 ##########################
 
- - Wp          [2019/05/09] Fixes -wp-simplify-is-cint simplifier
- - Wp          [2019/04/26] Now requires -warn-invalid-bool
- - Wp          [2019/04/26] Removed option -wp-bool-range
- - 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
- - TIP         [2017/12/17] Fix bug that makes the TIP wrongly reuse previous results
- - Wp          [2017/12/17] Option -wp-print-separation changed into -wp-warn-separation
- - Wp          [2017/12/17] Option -wp-unfold-assigns for proving assigns of aggregates field by field
- - 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 validity and ranges
- - TIP         [2017/10/27] New tacticals for validity and ranges
+- Wp          [2019/05/09] Fixes -wp-simplify-is-cint simplifier
+- Wp          [2019/04/26] Now requires -warn-invalid-bool
+- Wp          [2019/04/26] Removed option -wp-bool-range
+- 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
+- TIP         [2017/12/17] Fix bug that makes the TIP wrongly reuse previous results
+- Wp          [2017/12/17] Option -wp-print-separation changed into -wp-warn-separation
+- Wp          [2017/12/17] Option -wp-unfold-assigns for proving assigns of aggregates field by field
+- 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 validity and ranges
+- TIP         [2017/10/27] New tacticals for validity and ranges
 
 ######################
 Plugin WP 18.0 (Argon)
@@ -65,21 +65,21 @@ Plugin WP 18.0 (Argon)
 Plugin WP Sulfur-20171101
 #########################
 
- - Wp         [2017/10/18] Support for LoopCurrent and LoopEntry
- - 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 Ratio (divisions and products)
- - 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
+- Wp         [2017/10/18] Support for LoopCurrent and LoopEntry
+- 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 Ratio (divisions and products)
+- 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 Chlorine-20180501