[erlang-patches] dialyzer: Add support for multiple PLTs

[Kostis Sagonas]

Maria Christaki wrote:
> The multiple-PLT patch was amended to include the updated documentation.
> However, it seems that I didn't make the amend on time and the patch was
> committed on the dev branch with the old documentation. For this reason, I
> have created another patch with dialyzer's new documentation:
> 
>     git fetch git://github.com/mariachris/otp.git dialyzer_doc

This patch should be included in R14B01.  It's safe to include it 
directly into 'dev' since it only affects documentation files (and it 
has info on the new dialyzer version).

Kostis

> Kostis Sagonas <kostis@REDACTED> said:
> 
>> A functionality addition to dialyzer that should be included in the 
>> upcoming release:
>>
>>      git fetch git://github.com/mariachris/otp.git plts
>>
>> Kostis
>>
>> ________________________________________________________________
>> erlang-patches (at) erlang.org mailing list.
>> See http://www.erlang.org/faq.html
>> To unsubscribe; mailto:erlang-patches-unsubscribe@REDACTED