Still no epsilon-delta support? This is the sort of thing I have in mind: http://math.stackexchange.com/questions/110573/continuous-function-on-a-compact-metric

Still no epsilon-delta support? This is the sort of thing I have in mind: http://math.stackexchange.com/questions/110573/continuous-function-on-a-compact-metric-space-is-uniformly-continuous http://math.stackexchange.com/questions/110573/continuous-fu...