<div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">Is there a written guideline somewhere for migrating from release version to dev version?</blockquote>
<div><br></div><div><a href="http://www.mcs.anl.gov/petsc/petsc-as/documentation/changes/dev.html">http://www.mcs.anl.gov/petsc/petsc-as/documentation/changes/dev.html</a></div><div><br></div><div>Sean </div></div>