diff --git a/collects/string-constants/private/german-string-constants.rkt b/collects/string-constants/private/german-string-constants.rkt index 6ef78e7870..96688044cd 100644 --- a/collects/string-constants/private/german-string-constants.rkt +++ b/collects/string-constants/private/german-string-constants.rkt @@ -117,6 +117,11 @@ (cs-unused-require "unbenutztes require") (cs-free-variable "freie Variable") + (cs-contract-my-obligation "Vertrag: Obliation dieses Moduls") + (cs-contract-their-obligation "Vertrag: Obligation des Klientenmoduls") + (cs-contract-both-obligation "Vertrag: Obligation sowohl dieses Moduls als auch des Klientenmoduls") + (cs-contract-unk-obligation "Vertrag: Oblikation unbekannt") + ;; mode sub-menu in the "view" menu (cs-check-syntax-mode "Syntax-Check-Modus") (cs-mode-menu-show-my-obligations "Meine Vertragsobligationen") @@ -1549,6 +1554,11 @@ (ask-about-normalizing-strings "Bei Normalisierung nachfragen") (always-use-platform-specific-linefeed-convention "Immer die plattformspezifische Linefeed-Konvention verwenden") + + + ;; optimization coach + (hide-optimization-coach "Optimierungs-Coach ausblenden") + (show-optimization-coach "Optimierungs-Coach einblenden") )