I'm reading An Intro to GR, Hughston and Tod, it says that in GR the idea is that the geometry of st varies from point to point, represented by allowing the metric to vary over space-time.
It uses a (+,-,-,-) signature and so ##proper time=ds^{2}##.
It then makes the comment that proper time...