<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"> <html xmlns:fn="http://www.w3.org/2005/02/xpath-functions"> <head> <meta http-equiv="Content-Type" content="text/html; charset=UTF-8"> <link rel="stylesheet" href="../../../../doc/otp_doc.css" type="text/css"> <title>Erlang -- </title> </head> <body bgcolor="white" text="#000000" link="#0000ff" vlink="#ff00ff" alink="#ff0000"><div id="container"> <script id="js" type="text/javascript" language="JavaScript" src="../../../../doc/js/flipmenu/flipmenu.js"></script><script id="js2" type="text/javascript" src="../../../../doc/js/erlresolvelinks.js"></script><script language="JavaScript" type="text/javascript"> <!-- function getWinHeight() { var myHeight = 0; if( typeof( window.innerHeight ) == 'number' ) { //Non-IE myHeight = window.innerHeight; } else if( document.documentElement && ( document.documentElement.clientWidth || document.documentElement.clientHeight ) ) { //IE 6+ in 'standards compliant mode' myHeight = document.documentElement.clientHeight; } else if( document.body && ( document.body.clientWidth || document.body.clientHeight ) ) { //IE 4 compatible myHeight = document.body.clientHeight; } return myHeight; } function setscrollpos() { var objf=document.getElementById('loadscrollpos'); document.getElementById("leftnav").scrollTop = objf.offsetTop - getWinHeight()/2; } function addEvent(obj, evType, fn){ if (obj.addEventListener){ obj.addEventListener(evType, fn, true); return true; } else if (obj.attachEvent){ var r = obj.attachEvent("on"+evType, fn); return r; } else { return false; } } addEvent(window, 'load', setscrollpos); //--></script><div id="leftnav"><div class="innertube"> <img alt="Erlang logo" src="../../../../doc/erlang-logo.png"><br><small><a href="users_guide.html">User's Guide</a><br><a href="index.html">Reference Manual</a><br><a href="release_notes.html">Release Notes</a><br><a href="../pdf/dialyzer-2.5.3.pdf">PDF</a><br><a href="../../../../doc/index.html">Top</a></small><p><strong>Dialyzer</strong><br><strong>Release Notes</strong><br><small>Version 2.5.3</small></p> <br><a href="javascript:openAllFlips()">Expand All</a><br><a href="javascript:closeAllFlips()">Contract All</a><p><small><strong>Chapters</strong></small></p> <ul class="flipMenu" imagepath="../../../../doc/js/flipmenu"><li id="no" title="Dialyzer Release Notes" expanded="false">Dialyzer Release Notes<ul> <li><a href="notes.html"> Top of chapter </a></li> <li title="Dialyzer 2.5.3"><a href="notes.html#id61861">Dialyzer 2.5.3</a></li> <li title="Dialyzer 2.5.2"><a href="notes.html#id61900">Dialyzer 2.5.2</a></li> <li title="Dialyzer 2.5.1"><a href="notes.html#id59384">Dialyzer 2.5.1</a></li> <li title="Dialyzer 2.5"><a href="notes.html#id59416">Dialyzer 2.5</a></li> <li title="Dialyzer 2.4.4"><a href="notes.html#id57206">Dialyzer 2.4.4</a></li> <li title="Dialyzer 2.4.3"><a href="notes.html#id59696">Dialyzer 2.4.3</a></li> <li title="Dialyzer 2.4.2"><a href="notes.html#id59766">Dialyzer 2.4.2</a></li> <li title="Dialyzer 2.4.0"><a href="notes.html#id60306">Dialyzer 2.4.0</a></li> <li title="Dialyzer 2.3.1"><a href="notes.html#id60368">Dialyzer 2.3.1</a></li> <li title="Dialyzer 2.3.0"><a href="notes.html#id60398">Dialyzer 2.3.0</a></li> <li title="Dialyzer 2.2.0"><a href="notes.html#id60455">Dialyzer 2.2.0</a></li> <li title="Dialyzer 2.1.0"><a href="notes.html#id63834">Dialyzer 2.1.0</a></li> <li title="Dialyzer 2.0.0"><a href="notes.html#id63940">Dialyzer 2.0.0</a></li> <li title="Dialyzer 1.9.2"><a href="notes.html#id63987">Dialyzer 1.9.2</a></li> <li title="Dialyzer 1.9.1"><a href="notes.html#id64028">Dialyzer 1.9.1</a></li> <li title="Dialyzer 1.9.0"><a href="notes.html#id64062">Dialyzer 1.9.0</a></li> <li title="Dialyzer 1.8.3"><a href="notes.html#id64123">Dialyzer 1.8.3</a></li> <li title="Dialyzer 1.8.2"><a href="notes.html#id64162">Dialyzer 1.8.2</a></li> <li title="Dialyzer 1.8.1"><a href="notes.html#id64191">Dialyzer 1.8.1</a></li> <li title="Dialyzer 1.8.0"><a href="notes.html#id64243">Dialyzer 1.8.0</a></li> <li title="Dialyzer 1.7.2"><a href="notes.html#id64334">Dialyzer 1.7.2</a></li> <li title="Dialyzer 1.7.1"><a href="notes.html#id64369">Dialyzer 1.7.1</a></li> <li title="Dialyzer 1.7.0"><a href="notes.html#id64412">Dialyzer 1.7.0</a></li> <li title="Dialyzer 1.6.0"><a href="notes.html#id64481">Dialyzer 1.6.0</a></li> <li title="Dialyzer 1.5.1"><a href="notes.html#id64541">Dialyzer 1.5.1</a></li> <li title="Dialyzer 1.5.0"><a href="notes.html#id64603">Dialyzer 1.5.0</a></li> <li title="Dialyzer 1.4.2"><a href="notes.html#id64652">Dialyzer 1.4.2</a></li> <li title="Dialyzer 1.4.1"><a href="notes.html#id64684">Dialyzer 1.4.1</a></li> <li title="Dialyzer 1.4.0"><a href="notes.html#id64734">Dialyzer 1.4.0</a></li> <li title="Dialyzer 1.3.1"><a href="notes.html#id64785">Dialyzer 1.3.1</a></li> <li title="Dialyzer 1.3.0"><a href="notes.html#id64860">Dialyzer 1.3.0</a></li> <li title="Dialyzer 1.2.0"><a href="notes.html#id64960">Dialyzer 1.2.0</a></li> <li title="Dialyzer 1.1.1"><a href="notes.html#id65017">Dialyzer 1.1.1</a></li> <li title="Dialyzer 1.1.0"><a href="notes.html#id65084">Dialyzer 1.1.0</a></li> <li title="Dialyzer 1.0.1"><a href="notes.html#id65146">Dialyzer 1.0.1</a></li> <li title="Dialyzer 1.0.0"><a href="notes.html#id65198">Dialyzer 1.0.0</a></li> </ul> </li></ul> </div></div> <div id="content"> <div class="innertube"> <div class="frontpage"></div> <center><h1>Dialyzer Release Notes</h1></center> <center><h4>Version 2.5.3</h4></center> <center><h4>December 6 2012</h4></center> </div> <div class="footer"> <hr> <p>Copyright © 2006-2012 Ericsson AB. All Rights Reserved.</p> </div> </div> </div></body> </html>