Full fix for Bug 471
[org.ibex.core.git] / doc / reference / reference.xml