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

[Werner LEMBERG]

> 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