From 0e290d01044a0668dd964ea7bb90004d0a34d79c Mon Sep 17 00:00:00 2001 From: Dorai Sitaram Date: Sun, 1 Jun 2003 15:21:06 +0000 Subject: [PATCH] For original commit: 6b8dcc7c82a9fcd77b744c71fe026176f00e2ec2 --- collects/mzlib/date.ss | 17 ++++++++++++++++- 1 file changed, 16 insertions(+), 1 deletion(-) diff --git a/collects/mzlib/date.ss b/collects/mzlib/date.ss index 75ea28d..e9bbeeb 100644 --- a/collects/mzlib/date.ss +++ b/collects/mzlib/date.ss @@ -129,7 +129,22 @@ (values (list day "-" num-month "-" year) (list " " hour12 ":" minute ":" second am-pm))] [(german) - (values (list day ". " month " " year) + (values (list day ". " + (case (date-month date) + [(1) "Januar"] + [(2) "Februar"] + [(3) "März"] + [(4) "April"] + [(5) "Mai"] + [(6) "Juni"] + [(7) "Juli"] + [(8) "August"] + [(9) "September"] + [(10) "Oktober"] + [(11) "November"] + [(12) "Dezember"] + [else ""]) + " " year) (list ", " hour24 "." minute))] [(irish) (values (list week-day ", " day day-th " " month " " year)