The Collaborative International Dictionary of English v.0.48:
Tripping \Trip"ping\, n.
1. Act of one who, or that which, trips.
[1913 Webster]
2. A light dance.
[1913 Webster]
Other trippings to be trod of lighter toes.
--Milton.
[1913 Webster]
3. (Naut.) The loosing of an anchor from the ground by means
of its cable or buoy rope.
[1913 Webster]
Tripping line (Naut.), a small rope attached to the
topgallant or royal yard, used to trip the yard, and in
lowering it to the deck; also, a line used in letting go
the anchor. --Luce.
[1913 Webster]