| products/Sources/formale Sprachen/Isabelle/Tools/jEdit/dist/doc/tips/tip0.html |
 |
<html><body>Using abbreviations saves a lot of time, by letting you
enter long strings using a shorthand notation. To define an
abbreviation, enter the desired shorthand string and press <b>C+;</b>.
You will then be prompted for the expansion. Now, to enter the expansion
in the buffer, all you have to do is type the shorthand and press
<b>C+;</b> again.</body></html>
¤ Diese beiden folgenden Angebotsgruppen bietet das Unternehmen0.20Angebot
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
|
