Explanation of the Mukhtasir al-Khalil in four volumes by 10th Century Hijri scholar al-Imam al-Tukhaykhi (d. 947/1540). Detailed and useful annotations of Tukhaykhi on «al-Mukhtasir» of
Khalil ibn Ishaq al-Jundi al-Maliki (d. 767/1374), without being too long.