关于接口的疑问

请问一下在文档竞赛题目及相关说明中对IGameService接口的定义有如下说明：
      /// <summary>
        ///   获取一个Operation实例，这个实例包含本次方法调用前的最后一次操作。
        /// </summary>
        /// <remarks>
        ///   这个实例中包含的操作，可能是对方的最后一次操作，也可能是自己的最后一次操作，具体情况取决于调用顺序。
        ///   如果这是本局比赛中的第一次调用，这个实例的值为Operation.Empty。
        /// </remarks>
       Operation LastOperation { get; }

但是在IGameService接口定义中却没有Operation LastOperation啊，难道是我看错了？？
namespace GPCT2012
{
    public interface IGameService
    {
        ReadOnlyCollection<IConstruction> Constructions { get; }
        ReadOnlyCollection<Operation> ExecutedOperations { get; }
        PlayerID? LastOperator { get; }
        IMap Map { get; }

        IConstruction GetConstructionByID(int id);
        PlayerID GetPlayerID(IPlayer player);
        TimeSpan GetRemainingTime(IPlayer player);
    }
}

貌似文档已经更新了~以前的版本是有Operation LastOperation { get; }
而最近的版本是ReadOnlyCollection<Operation> ExecutedOperations { get; }

你好，hendry：
如楼上所说，文档和接口已经更新，新下载新的文档查看！