products/sources/formale sprachen/VDM/VDMPP/CodegenPP/AST/simple/intf/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei: tip2.html   Sprache: JAVA

Untersuchung Isabelle©
 products/sources/formale sprachen/Isabelle/Tools/jEdit/dist/jEdit/doc/tips/tip94.html


<html><body>

File name globs that associate files with edit modes can be changed in
the <b>Editing</b> pane of the <b>Utilities</b>><b>Global Options</b>
dialog box.<p>

For example, by default files matching "*.inc" are opened in PHP mode,
but some Pascal implementations use this extension as well. If you find
yourself with an urgent need to hack some Pascal, just remove "irc" from
the PHP file name glob to get:

<pre>*.{php3,php4,php,phtml}</pre>

And add it to the Pascal file name glob:

<pre>*.{pas,dpr,dpk}</pre>

</body>
</html>

¤ Diese beiden folgenden Angebotsgruppen bietet das Unternehmen0.3Angebot  Wie Sie bei der Firma Beratungs- und Dienstleistungen beauftragen können  ¤



Druckansicht
unsichere Verbindung
Druckansicht
Hier finden Sie eine Liste der Produkte des Unternehmens

Eigene Datei ansehen




Lebenszyklus

Die hierunter aufgelisteten Ziele sind für diese Firma wichtig


Ziele

Entwicklung einer Software für die statische Quellcodeanalyse


Bot Zugriff