ملف:Isabelle jedit.png
حجم هذه المعاينة: 732 × 599 بكسل. البعد الآخر: 994 × 814 بكسل.
الملف الأصلي (994 × 814 بكسل حجم الملف: 105 كيلوبايت، نوع MIME: image/png)
وصف قصير
| ⧼wm-license-information-description⧽ |
English: Isabelle/jEdit running on macOS.
|
| ⧼wm-license-information-date⧽ | 2018 |
| ⧼wm-license-information-source⧽ | https://isabelle.in.tum.de/overview.html |
| ⧼wm-license-information-author⧽ | University of Cambridge et al. |
ترخيص
تاريخ الملف
اضغط على زمن/تاريخ لرؤية الملف كما بدا في هذا الزمن.
| زمن/تاريخ | صورة مصغرة | الأبعاد | مستخدم | تعليق | |
|---|---|---|---|---|---|
| حالي | ★ مراجعة معتمدة 21:09، 18 أكتوبر 2023 | | 994 × 814 (105 كيلوبايت) | Pastakhov (نقاش | مساهمات) | Upload https://upload.wikimedia.org/wikipedia/commons/1/14/Isabelle_jedit.png |
لا يمكنك استبدال هذا الملف.
وصلات
لا يوجد صفحات تصل لهذه الصورة.
