Display the last explanation label (that is, the oldest one) in the IDE.
Display the last explanation label (that is, the oldest one) in the IDE.

douglas-larocca/why3,ssaavedra/why3,jpdeplaix/why3,douglas-larocca/why3,jpdeplaix/why3,douglas-larocca/why3,jpdeplaix/why3,ssaavedra/why3,ssaavedra/why3