gμν has been normalized to return a time instead of a distance1.
Proper length is analogous to proper time. The difference is that proper length is the invariant interval of a spacelike path while proper time is the invariant interval of a timelike path. For more information on the path integral above and examples of its use, see the proper time article.
Notes
Note 1: By mutiplying or dividing by c2, a metric can be made to produce an invariant interval in units of either space or time. For convenience, physicists often avoid this issue by using geometrized units, which are set up so that c=G=1.
Note 2: Proper length has also been used in a more restricted sense to help with discussions of length contraction by textbooks, where it is defined as the length of an object when measured by someone at rest relative to that object.