Ravideva untranslated

Ravideva. A Sinhalese chief. He fought with the Coḷas against Vijayabāhu I., but, later, appears to have joined Vijayabāhu. Cv.lviii.16, 65; Cv.Trs.i.203, n.3.