[Trennmuster] Grundtermalgebra, Operatoridentifizierung, Prioritätskeller, Softwareinfrastruktur, Softwareinfrastrukturen, Teilsortenbeziehung, Typüberprüfung

[Alexander Malkis]

Werner, danke!

Alexander

On 09.05.23 22:56, Werner LEMBERG wrote:
> 
>> Grundtermalgebra;Grund=term==al-ge-b.ra # math./info.
> 
> Wir haben nur »...al-ge-bra«.
> 
>> (Jetzt lautet die automatische Trennung unvollständigerweise
>> „Prio-ri-täts-kel-ler“.)
> 
> Das ist nicht unvollständig, sondern genau so gewollt: In unseren
> »offiziellen« Trennmustern gibt es keine Trennstellen, die nur einen
> Buchstaben auseinander sind.
> 
>> (Jetzt lautet die automatische Trennung unvollständigerweise
>> „Soft-ware-infra-struk-tur“, womöglich ist es aber auch so gedacht.)
> 
> Ja, das ist so gewollt.
> 
> Das notwendige ist jetzt im git-Repositorium, danke.
> 
> 
>      Werner