ഇതാണ് Isabelle/Eclipse എന്ന് പേരിട്ടിരിക്കുന്ന Linux ആപ്പ്, ഇതിന്റെ ഏറ്റവും പുതിയ പതിപ്പ് 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 OS-ൽ നിന്ന്, നിങ്ങൾക്ക് ആവശ്യമുള്ള ഉപയോക്തൃനാമത്തോടുകൂടിയ ഞങ്ങളുടെ ഫയൽ മാനേജർ https://www.onworks.net/myfiles.php?username=XXXXX എന്നതിലേക്ക് പോകുക.
- 6. ആപ്ലിക്കേഷൻ ഡൌൺലോഡ് ചെയ്യുക, അത് ഇൻസ്റ്റാൾ ചെയ്ത് പ്രവർത്തിപ്പിക്കുക.
സ്ക്രീൻഷോട്ടുകൾ
Ad
ഇസബെല്ലെ/ഗ്രഹണം
വിവരണം
ഇസബെല്ലെ/സ്കാല ചട്ടക്കൂടിനെ അടിസ്ഥാനമാക്കി, ഇസബെല്ലെ പ്രൂഫ് അസിസ്റ്റന്റിന് പ്രോവർ ഐഡിഇ നൽകുന്ന എക്ലിപ്സ് പ്ലഗ്-ഇന്നുകൾ.Eclipse IDE-യുമായി പ്ലഗ്-ഇന്നുകളായി സംയോജിപ്പിക്കാൻ Isabelle/jEdit Prover IDE-യുടെ ഒരു പോർട്ട് ആയി ഇസബെല്ലെ/എക്ലിപ്സ് ആരംഭിച്ചു. തിയറി എഡിറ്റിംഗ്, ശരിയായ ചിഹ്നങ്ങൾ, പൂർത്തീകരണ സഹായം, പ്രോവർ ഔട്ട്പുട്ട്, മറ്റ് സവിശേഷതകൾ എന്നിവ നൽകുന്നതിന് ഏകീകരണം സാധാരണ എക്ലിപ്സ് ഘടകങ്ങൾ ഉപയോഗിക്കുന്നു. എക്ലിപ്സിൽ നിർമ്മിക്കുന്നതിലൂടെ, അത് ബോക്‌സിന് പുറത്ത് വിവിധ ഐഡിഇ ഗുണങ്ങൾ അവകാശമാക്കുന്നു.
Isabelle/Eclipse ഫയലുകൾ വിതരണം ചെയ്യാൻ ഈ SourceForge പ്രോജക്റ്റ് ഉപയോഗിക്കുന്നു - സോഴ്സ് കോഡും ഇഷ്യൂ മാനേജ്മെന്റും GitHub-ൽ ലഭ്യമാണ്: http://github.com/andriusvelykis/isabelle-eclipse
ഇസബെല്ലെ/എക്ലിപ്സ് വെബ്സൈറ്റ് സന്ദർശിക്കുക http://andriusvelykis.github.com/isabelle-eclipse
പ്രേക്ഷകർ
ഇൻഫർമേഷൻ ടെക്നോളജി, സയൻസ്/ഗവേഷണം
ഉപയോക്തൃ ഇന്റർഫേസ്
ഗഹണം
പ്രോഗ്രാമിംഗ് ഭാഷ
ജാവ, സ്കാല
ഇത് https://sourceforge.net/projects/isabelleeclipse/ എന്നതിൽ നിന്നും ലഭിക്കാവുന്ന ഒരു ആപ്ലിക്കേഷനാണ്. ഞങ്ങളുടെ സൗജന്യ ഓപ്പറേറ്റീവ് സിസ്റ്റങ്ങളിലൊന്നിൽ നിന്ന് ഏറ്റവും എളുപ്പമുള്ള രീതിയിൽ ഓൺലൈനിൽ പ്രവർത്തിപ്പിക്കുന്നതിനായി ഇത് OnWorks-ൽ ഹോസ്റ്റ് ചെയ്‌തിരിക്കുന്നു.
