diff options
Diffstat (limited to 'doc/Changelog.html')
| -rw-r--r-- | doc/Changelog.html | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/doc/Changelog.html b/doc/Changelog.html index 2ddade7..3921131 100644 --- a/doc/Changelog.html +++ b/doc/Changelog.html @@ -44,6 +44,24 @@ <p/> <br/> +<b>Version 1.99.14 (November 01, 2015)</b><br/> +<b>New Options</b> +<ul> + <li> + -skip-types: set list of types that should not be checked + </li> +</ul> +<b>Bug Fixes</b> +<ul> + <li> + Fixed formatting of symbol signatures + </li> + <li> + Fixed checks of template types + </li> +</ul> +<br/> + <b>Version 1.99.13 (October 18, 2015)</b><br/> <b>Improvements</b> <ul> |