تاریخچه نسخه‌های Isabelle - ۲ نسخه
Isabelle CutexRaiinb0w توسط
تاریخچه نسخه‌های Isabelle - ۲ نسخه
مراقب نسخه‌های قدیمی باشید! این نسخه‌ها فقط برای اهداف آزمایشی و ارجاع نمایش داده می‌شوند.همیشه باید از آخرین نسخه یک افزونه استفاده کنید.
آخرین نسخه
نسخه 2.0
منتشر شده در ۱۳ مه ۲۰۱۹ - ۲۵۸٫۴۶ کیلوبایتسازگار با firefox 53.0 و نسخه‌های جدیدترکد منبع تحت کرییتیو کامنز ارجاع-اشتراک یکسان ۳.۰ (CC BY-SA 3.0) منتشر شده است
نسخه‌های قدیمی‌تر
نسخه 1.0
منتشر شده در ۲۳ ژانویه ۲۰۱۹ - ۲۵۴٫۸۴ کیلوبایتسازگار با firefox 53.0 و نسخه‌های جدیدترکد منبع تحت کرییتیو کامنز ارجاع-اشتراک یکسان ۳.۰ (CC BY-SA 3.0) منتشر شده است