Added end-of-message dots
Fixing removal of optional dependencies (#692)
Fix not complete yet: reverse depopts are not removed, but not recompiled yet
Fixed recompilation of packages when removing their optional dependencies
Fixed action message for recompiled packages
Closes #692
Merge pull request #707 from AltGr/rm-depopts-fix

Rm depopts fix
Fixed stack overflow on malformed opam files (closes #696)
Merge pull request #708 from AltGr/fix-696

Fixed stack overflow on malformed opam files (closes #696)
Finding packages case-insensitively for common commands
(unless packages with the same name up to capitalization exist)
closes #705
Merge pull request #710 from AltGr/fix-705

Finding packages case-insensitively for common commands
Updated generated man-pages for 1.1.0
Updated tutorial pdfs to latest version
Documented post-messages
Added test for post-messages
Closes #662
Added tests for #692
Merge pull request #712 from AltGr/update-doc

Update doc
Merge pull request #713 from AltGr/post-messages-test-doc

Post messages test doc
Merge pull request #714 from AltGr/tests-692

Added tests for #692
Keep going and report error when uninstall script fails
closes #689
Merge pull request #715 from AltGr/fix-689

Keep going and report error when uninstall script fails
Fixed error message
(this could be misleading when a package has been removed upstream)