Better AdaptiveTimeSolver documentation