Updating virtual time documentation