Ibnu Jamal al-Makki itu apa sih?

'Ali bin Abi Bakar bin Al Nuruddin bin Abi Bakar bin Umar bin Ahmad bin Abdurrahman bin Muhammad, adalah seorang ulama yang lahir pada tahun 1002 H dan terkenal dengan nama Ibnu Jamal al-Makki, dia wafat pada tahun 1072 H.