products/sources/formale Sprachen/Isabelle/Tools/jEdit/dist/jEdit/installer/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: readme.html   Sprache: HTML

Original von: Isabelle©
 products/sources/formale Sprachen/Isabelle/Tools/jEdit/dist/jEdit/installer/readme.html


<html>
<body>

Simply fill out the required
information at each screen and click <b>Next</b>. Once all installation
parameters have been specified, the <b>Next</b> button changes to
read <b>Install</b>. Clicking it will then begin the installation
process.<p>

The <b>Cancel</b> button will quit the installer without installing
anything; <b>Previous</b> will take you to the previous screen
(use it if you change your mind about a setting).

<hr>

jEdit is free software, released under the terms of the GNU General
Public License. The full text of the license is shown in the next page
of the installer.<p>

Several class libraries bundled with jEdit are have other
licenses; once jEdit is installed, see the <code>README.txt</code>
file for details.

</body>
</html>

¤ Dauer der Verarbeitung: 0.13 Sekunden  (vorverarbeitet)  ¤



Download des
Quellennavigators
Download des
sprechenden Kalenders

in der Quellcodebibliothek suchen




Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.


Bemerkung:

Die farbliche Syntaxdarstellung ist noch experimentell.


Bot Zugriff