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
¤
|
Lebenszyklus
Die hierunter aufgelisteten Ziele sind für diese Firma wichtig
Ziele
Entwicklung einer Software für die statische Quellcodeanalyse
|