• 伊莎贝尔/日食是一个方便和可靠的应用程序旨在帮助用户使用他们的脚本和提高其方案拟订知识。

    伊莎贝尔/日食作为一个独立的应用,以及一个日食的插件。 当配置的应用程序的启动,需要指明在伊莎贝尔/日食位于什么届会议将载入。

    此外,该软件提供了一个文本编辑器伊莎贝尔的理论文件,并允许你突出的代码脚本、意见和更多。

  • Isabelle/ग्रहण का एक आसान और विश्वसनीय डिजाइन आवेदन में मदद करने के लिए उपयोगकर्ताओं के साथ काम अपने लिपियों में सुधार लाने और अपने प्रोग्रामिंग ज्ञान है ।

    Isabelle/ग्रहण के रूप में काम करता है, एक स्वसंपूर्ण आवेदन के रूप में अच्छी तरह के रूप में एक ग्रहण प्लगइन है । जब आवेदन विन्यस्त करने के लिए शुरू किया, आप की जरूरत करने के लिए जहां से संकेत मिलता है निकायों/ग्रहण स्थित है और क्या सत्र में लोड किया जाएगा.

    इसके अलावा, सॉफ्टवेयर के साथ प्रदान करता है एक पाठ संपादक के लिए इसाबेल सिद्धांत फ़ाइलें और अनुमति देता है आप को उजागर करने के लिए कोड स्क्रिप्ट, टिप्पणी और अधिक.

  • Isabelle/Eclipse is a handy and reliable application designed to help users work with their scripts and improve their programming knowledge.

    Isabelle/Eclipse works as a standalone application, as well as a Eclipse plugin. When configuring the application to be launched, you need to indicate where Isabelle/Eclipse is located and what session will be loaded.

    Moreover, the software provides you with a text-editor for Isabelle theory files and allows you to highlight code scripts, comments and more.