لغت نامه دهخدا
علی دانی. [ ع َ ی ِ ] ( اِخ ) ابن صالح بن ابی لیث بن اسعدبن فرج بن یوسف طرطوشی دانی، مشهور به ابن عزالناس و مکنّی به ابوالحسن. فقیه و اصولی و ادیب و شاعر بود. وی در سال 508 هَ. ق. در طرطوشة متولد شد و در رمضان سال 566 هَ. ق. در دانیة به قتل رسید. او راست: 1- شرح معانی التحیة. 2 - کتاب العزلة. ( از معجم المؤلفین بنقل از التکمله ابن ابارص 668. الدیباج ابن فرحون ص 212. نیل الابتهاج ص 199 ).