emize">Browsing of identifiers: show type and comment, go to definition, cycle
between alternate definitions, and &#X201C;semantic grep&#X201D;
</LI><LI CLASS="li-itemize">Strictly semantic-preserving, local and whole-program refactoring:
<UL CLASS="itemize"><LI CLASS="li-itemize">
renaming identifiers and compilation units
</LI><LI CLASS="li-itemize">open elimination and reference simplification
</LI></UL>
</LI><LI CLASS="li-itemize">Robust <EM>w.r.t.</EM> not-recompiled, possibly unsaved buffers
</LI><LI 