| Isabelle / Eclipse. שילוב ליקוי עבור עוזר הוכחה Isabelle |
הורד עכשיו |
Isabelle / Eclipse. דירוג וסיכום
- שם המפרסם:
- Andrius Velykis
- מערכות הפעלה:
- Windows XP / Vista / 7 / 8 32-bit / 8 64-bit
Isabelle / Eclipse. תגים
Isabelle / Eclipse. תיאור
Isabelle / Eclipse הוא יישום שימושי ואמין שנועד לעזור למשתמשים לעבוד עם סקריפטים שלהם ולשפר את הידע התכנות שלהם. Isabelle / Eclipse עובד בתור יישום עצמאי, כמו גם תוסף Eclipse. בעת הגדרת התצורה של היישום, עליך לציין היכן נמצא איזבל / ליקוי ליקוי ואיזה מושב יטען. יתר על כן, התוכנה מספקת לך עורך טקסט עבור קבצי iSabelle תיאוריה ומאפשר לך להדגיש סקריפטים קוד, הערות ועוד.
Isabelle / Eclipse. תוכנה קשורה