diff --git a/collects/string-constants/private/german-string-constants.rkt b/collects/string-constants/private/german-string-constants.rkt index ed14dfd665..f996407740 100644 --- a/collects/string-constants/private/german-string-constants.rkt +++ b/collects/string-constants/private/german-string-constants.rkt @@ -902,6 +902,10 @@ ;;; executables (create-executable-menu-item-label "Programmdatei generieren...") (create-executable-title "Programmdatei generieren") + (drracket-creates-executables-only-in-some-languages + "Die Erzeugung von Programmdateien in DrRacket ist nur für die Lehrsprachen" + " und für “Die Sprache Racket” (also mit #lang-Zeile) unterstützt.\n\nZiehen" + " Sie das Kommandozeilenprogramm \"raco exe\" in Betracht.") (must-save-before-executable "Sie müssen vor der Generierung einer Programmdatei speichern.") (save-a-mred-launcher "GRacket-Launcher speichern") (save-a-mzscheme-launcher "Racket-Launcher speichern") @@ -1599,6 +1603,9 @@ (planet-docs-building "PLaneT: Dokumentation bauen (ausgelöst durch ~a)...") (planet-no-status "PLaneT") ;; this can happen when there is status shown in a different and then the user switches to a tab where planet hasn't been used + (bug-report-field-planet2 "Info Package-System") + + ;; string normalization. To see this, paste some text with a ligature into DrRacket ;; the first three strings are in the dialog that appears. The last one is in the preferences dialog (normalize "Normalisieren")