- «التمييز لما أودعه صاحب الكشاف من الاعتزال في الكتاب العزيز»، لأبي علي بن خليل، عمر بن محمد بن محمد السكوني الإشبيلي نزيل تونس (ت ٧١٧ هـ):
انظر مخطوطاته في «الفهرس الشامل»، حيث عُدت له ٢٦ نسخة.
- «الاعتراض المشرق على كثير من أهل المنطق» للسكوني أيضا، وهي حاشية على الكشاف للزمخشري:
ولي الدين، تحت رقم ٣٣٠.
- «مقتضب التمييز»، له أيضا:
مخطوطات أوقاف الجزائر، تحت رقم ٢٧٢، ت ن ١١٨٦ هـ، عدد أوراقه ١٢١.
المكتبة الوطنية التونسية: ٥٦؛ ٧٢٦٢.
مكتبة فيض الله باستانبول ٢٣٩.
- «تحصيل الكفاية من الاختلاف الواقع بين التيسير والتبصرة والكافي والهداية»، لأبي عبد الله محمد بن جماعة التنوخي المهدوي (كان حيا بين سنتي ٧٢٥ و٧٢٩ هـ.
١ / ٥٣