Ajmer was originally known as "Ajayameru". The city was founded by an 11th-century Chahamana king Ajaydeva. However, it was annexed by the Mamluk Dynasty in the 13th century, Later it came under Mewar dynasty. Rana Sanga ruled a substantial part of Rajputana and Ajmer was one of them. Historian Dasharatha Sharma notes that the earliest mention of the city's name occurs in Palha's "Pattavali", which was copied in 1113 CE (1170 VS) at Dhara. This suggests that Ajmer was founded sometime before 1113 CE. A "prashasti" (eulogistic inscription), issued by Vigraharaja IV and found at Adhai Din Ka Jhonpra, states Ajayadeva (that is Ajayaraja II) moved his residence to Ajmer.