To be fair, they didn't say they were done with Halo. In fact, they were up front about the fact that they still had a contract for 2 more games after Halo 3. They just said that they were done with Master Chief. So they made ODST and Reach. They're working on a new IP now.