products/sources/formale sprachen/Coq/test-suite/output/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: en_KE.xml   Sprache: Unknown

<?xml version="1.0" encoding="UTF-8" ?>
<!DOCTYPE ldml SYSTEM "../../common/dtd/ldml.dtd">
<!-- Copyright © 1991-2022 Unicode, Inc.
For terms of use, see http://www.unicode.org/copyright.html
SPDX-License-Identifier: Unicode-DFS-2016
CLDR data files are interpreted according to the LDML specification (http://unicode.org/reports/tr35/)
-->
<ldml>
 <identity>
  <version number="$Revision$"/>
  <language type="en"/>
  <territory type="KE"/>
 </identity>
 <dates>
  <calendars>
   <calendar type="gregorian">
    <timeFormats>
     <timeFormatLength type="full">
      <timeFormat>
       <pattern>HH:mm:ss zzzz</pattern>
       <datetimeSkeleton>HHmmsszzzz</datetimeSkeleton>
      </timeFormat>
     </timeFormatLength>
     <timeFormatLength type="long">
      <timeFormat>
       <pattern>HH:mm:ss z</pattern>
       <datetimeSkeleton>HHmmssz</datetimeSkeleton>
      </timeFormat>
     </timeFormatLength>
     <timeFormatLength type="medium">
      <timeFormat>
       <pattern>HH:mm:ss</pattern>
       <datetimeSkeleton>HHmmss</datetimeSkeleton>
      </timeFormat>
     </timeFormatLength>
     <timeFormatLength type="short">
      <timeFormat>
       <pattern>HH:mm</pattern>
       <datetimeSkeleton>HHmm</datetimeSkeleton>
      </timeFormat>
     </timeFormatLength>
    </timeFormats>
   </calendar>
  </calendars>
  <timeZoneNames>
   <metazone type="Africa_Central">
    <short>
     <standard>CAT</standard>
    </short>
   </metazone>
   <metazone type="Africa_Eastern">
    <short>
     <standard>EAT</standard>
    </short>
   </metazone>
   <metazone type="Africa_Southern">
    <short>
     <standard>SAST</standard>
    </short>
   </metazone>
   <metazone type="Africa_Western">
    <short>
     <generic>WAT</generic>
     <standard>WAT</standard>
     <daylight>WAST</daylight>
    </short>
   </metazone>
  </timeZoneNames>
 </dates>
 <numbers>
  <currencies>
   <currency type="KES">
    <symbol>Ksh</symbol>
   </currency>
  </currencies>
 </numbers>
</ldml>

[ Dauer der Verarbeitung: 0.1 Sekunden  (vorverarbeitet)  ]