Many of the functions within the Edison IDE libraries like TimerOne are not functional. They are either commented as // BOD - TBD or #if 0. Others like Dns have no code at all. When are these going to be completed?
Or is there a link to fully functional libraries?
TIMSK1 &= ~_BV(TOIE1); // clears the timer overflow interrupt enable bit
All the changes and updates in the IDE-libraries, firmware and documentation are going to be available in the moment when all of them are finished and reviewed. Keep visiting the communities to stay informed with some workarounds using the TimerOne.h like this one, and also to be notified about new releases.