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: done-VMS.html   Sprache: HTML

Original von: Isabelle©
 products/Sources/formale Sprachen/Isabelle/Tools/jEdit/dist/jEdit/installer/done-VMS.html


<html><body>

jEdit has been installed successfully.<p>

To start jEdit, run the following command in a terminal window:

<table><tr><td bgcolor="#e0e0e0"><tt><b>$</b> java -jar <i>disk</i>:[<i>dir</i>]jedit.jar <i>filename</i> ...</tt></td></tr></table>

To find out about supported command-line options, run:

<table><tr><td bgcolor="#e0e0e0"><tt><b>$</b> java -jar <i>disk</i>:[<i>dir</i>]jedit.jar -usage</tt></td></tr></table>

</body></html>

¤ Dauer der Verarbeitung: 0.13 Sekunden  (vorverarbeitet)  ¤



Kontakt
Drucken
Kontakt
sprechenden Kalenders

in der Quellcodebibliothek suchen




schauen Sie vor die Tür

Fenster


Die Firma ist wie angegeben erreichbar.

Die farbliche Syntaxdarstellung ist noch experimentell.


Bot Zugriff