From 17c4cb925461ab9a0a4f117bb17dc682b30420d7 Mon Sep 17 00:00:00 2001 From: Mike Sperber Date: Mon, 18 Oct 2010 13:30:34 +0200 Subject: [PATCH] Two more (hopefully last) renamings "Vertrag" -> "Signatur" (i.e. "contract" -> "signature" in German) --- collects/deinprogramm/scribblings/DMdA-beginner.scrbl | 2 +- collects/deinprogramm/signature/signature-syntax.rkt | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/collects/deinprogramm/scribblings/DMdA-beginner.scrbl b/collects/deinprogramm/scribblings/DMdA-beginner.scrbl index 7101baa3d5..5b3f51cf21 100644 --- a/collects/deinprogramm/scribblings/DMdA-beginner.scrbl +++ b/collects/deinprogramm/scribblings/DMdA-beginner.scrbl @@ -153,7 +153,7 @@ Diese Form liefert die Signatur mit der Notation @scheme[sig]. Diese Form erklärt @scheme[sig] zur gültigen Signatur für @scheme[id]. } -@subsection{Eingebaute Verträge} +@subsection{Eingebaute Signaturen} @defidform[number]{ Signatur für beliebige Zahlen. diff --git a/collects/deinprogramm/signature/signature-syntax.rkt b/collects/deinprogramm/signature/signature-syntax.rkt index bd5b66def5..e8962846ec 100644 --- a/collects/deinprogramm/signature/signature-syntax.rkt +++ b/collects/deinprogramm/signature/signature-syntax.rkt @@ -264,7 +264,7 @@ (define-for-syntax (within-signature-syntax-error stx name) (raise-syntax-error #f - "darf nur in Verträgen vorkommen" + "darf nur in Signaturen vorkommen" name)) ;; Expression -> Expression