זוהי אפליקציית לינוקס בשם Isabelle/Eclipse, אשר את הגרסה האחרונה שלה ניתן להוריד כ- isabelle-eclipse-ide-1.2.0-win32.win32.x86.zip. ניתן להריץ אותה באופן מקוון בספק האירוח החינמי OnWorks לתחנות עבודה.
הורידו והפעילו אונליין את האפליקציה הזו בשם Isabelle/Eclipse עם OnWorks בחינם.
בצע את ההוראות הבאות כדי להפעיל את האפליקציה הזו:
- 1. הורד את היישום הזה למחשב שלך.
- 2. הזן במנהל הקבצים שלנו https://www.onworks.net/myfiles.php?username=XXXXX עם שם המשתמש שאתה רוצה.
- 3. העלה את היישום הזה במנהל קבצים כזה.
- 4. הפעל את האמולטור המקוון של OnWorks Linux או Windows מקוון או אמולטור מקוון של MACOS מאתר זה.
- 5. ממערכת ההפעלה OnWorks Linux שזה עתה התחלת, עבור אל מנהל הקבצים שלנו https://www.onworks.net/myfiles.php?username=XXXXX עם שם המשתמש הרצוי.
- 6. הורד את האפליקציה, התקן אותה והפעל אותה.
בצילומי מסך
Ad
איזבל/אקליפס
תיאור
תוספים של Eclipse המספקים את Prover IDE עבור Isabelle proof assistant, המבוסס על framework Isabelle/Scala.Isabelle/Eclipse התחילה כיצירה של Isabelle/jEdit Prover IDE כדי להשתלב עם Eclipse IDE כתוספים. האינטגרציה משתמשת ברכיבי Eclipse נפוצים כדי לספק עריכת תיאוריה, תיקון סמלים, סיוע בהשלמה, פלט של prover ותכונות נוספות. על ידי בנייה על Eclipse, היא יורשת מגוון יתרונות IDE ישירים.
פרויקט SourceForge זה משמש להפצת קבצי Isabelle/Eclipse - קוד המקור וניהול הבעיות זמינים ב-GitHub: http://github.com/andriusvelykis/isabelle-eclipse
בקרו באתר האינטרנט של איזבל/אקליפס בכתובת http://andriusvelykis.github.com/isabelle-eclipse
קהל
טכנולוגיית מידע, מדע/מחקר
ממשק משתמש
לקוי
שפת תכנות
ג'אווה, סקאלה
זוהי אפליקציה שניתן להוריד גם מ-https://sourceforge.net/projects/isabelleeclipse/. היא אוחסנה ב-OnWorks על מנת שניתן יהיה להפעיל אותה באופן מקוון בצורה הקלה ביותר מאחת ממערכות ההפעלה החינמיות שלנו.
