Isabelle / Eclipse.

שילוב ליקוי עבור עוזר הוכחה Isabelle
הורד עכשיו

Isabelle / Eclipse. דירוג וסיכום

פרסומת

  • Rating:
  • רישיון:
  • Freeware
  • שם המפרסם:
  • Andrius Velykis
  • מערכות הפעלה:
  • Windows XP / Vista / 7 / 8 32-bit / 8 64-bit
  • גודל הקובץ:
  • 70.5 MB

Isabelle / Eclipse. תגים


Isabelle / Eclipse. תיאור

Isabelle / Eclipse הוא יישום שימושי ואמין שנועד לעזור למשתמשים לעבוד עם סקריפטים שלהם ולשפר את הידע התכנות שלהם. Isabelle / Eclipse עובד בתור יישום עצמאי, כמו גם תוסף Eclipse. בעת הגדרת התצורה של היישום, עליך לציין היכן נמצא איזבל / ליקוי ליקוי ואיזה מושב יטען. יתר על כן, התוכנה מספקת לך עורך טקסט עבור קבצי iSabelle תיאוריה ומאפשר לך להדגיש סקריפטים קוד, הערות ועוד.


Isabelle / Eclipse. תוכנה קשורה