Two more (hopefully last) renamings "Vertrag" -> "Signatur"
(i.e. "contract" -> "signature" in German)
(cherry picked from commit 17c4cb9254
)
This commit is contained in:
parent
9146b803ee
commit
c1746d7649
|
@ -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].
|
Diese Form erklärt @scheme[sig] zur gültigen Signatur für @scheme[id].
|
||||||
}
|
}
|
||||||
|
|
||||||
@subsection{Eingebaute Verträge}
|
@subsection{Eingebaute Signaturen}
|
||||||
|
|
||||||
@defidform[number]{
|
@defidform[number]{
|
||||||
Signatur für beliebige Zahlen.
|
Signatur für beliebige Zahlen.
|
||||||
|
|
|
@ -264,7 +264,7 @@
|
||||||
|
|
||||||
(define-for-syntax (within-signature-syntax-error stx name)
|
(define-for-syntax (within-signature-syntax-error stx name)
|
||||||
(raise-syntax-error #f
|
(raise-syntax-error #f
|
||||||
"darf nur in Verträgen vorkommen"
|
"darf nur in Signaturen vorkommen"
|
||||||
name))
|
name))
|
||||||
|
|
||||||
;; Expression -> Expression
|
;; Expression -> Expression
|
||||||
|
|
Loading…
Reference in New Issue
Block a user