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