diff --git a/src/plugins/wp/Changelog b/src/plugins/wp/Changelog index 72838dc8ee20d39adcf5b6d4a96de5383db7c783..841808a4dbf6912aed982070cfe321c466faac30 100644 --- a/src/plugins/wp/Changelog +++ b/src/plugins/wp/Changelog @@ -24,6 +24,7 @@ Plugin WP <next-release> ############################################################################### +- WP [2023-04-03] Default timeout set to 2s - WP [2023-03-29] fix option -wp-split to only split conditions - WP [2023-03-29] new option -wp-split-switch to split switches - WP [2023-03-29] new option -wp-split-conj to split conjunctive goals