The EiffelStudio: an EiffelSoftware project page $1 has been changed on $PAGEEDITDATE by $2, see $3 for the current revision.
