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