From f9131630ceb58f7a9218ec5b6cfa79a706960c49 Mon Sep 17 00:00:00 2001 From: Mike Sperber Date: Sun, 22 Jul 2012 16:37:44 +0200 Subject: [PATCH] Synch German string constants with latest. (cherry picked from commit 0dd571ef53a8843b866b68d1c33afff0ef68aad9) --- .../private/german-string-constants.rkt | 10 ++++++++++ 1 file changed, 10 insertions(+) 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") )