Eine aufbereitete Darstellung der Quelle

 
     
 
 
Anforderungen  |   Konzepte  |   Entwurf  |   Entwicklung  |   Qualitätssicherung  |   Lebenszyklus  |   Steuerung
 
 
 
 
Benutzer

products/Sources/formale Sprachen/C/LibreOffice/i18npool/source/localedata/data/   (LibreOffice Version 25.8.3.2©)  Datei vom 5.10.2025 mit Größe 20 kB image not shown  

Quelle  et_EE.xml   Sprache: XML

  

<?xml version="1.0" encoding="UTF-8" ?>
<!DOCTYPE Locale SYSTEM 'locale.dtd'>
<!--
 * This file is part of the LibreOffice project.
 *
 * This Source Code Form is subject to the terms of the Mozilla Public
 * License, v. 2.0. If a copy of the MPL was not distributed with this
 * file, You can obtain one at http://mozilla.org/MPL/2.0/.
 *
 * This file incorporates work covered by the following license notice:
 *
 *   Licensed to the Apache Software Foundation (ASF) under one or more
 *   contributor license agreements. See the NOTICE file distributed
 *   with this work for additional information regarding copyright
 *   ownership. The ASF licenses this file to you under the Apache
 *   License, Version 2.0 (the "License"); you may not use this file
 *   except in compliance with the License. You may obtain a copy of
 *   the License at http://www.apache.org/licenses/LICENSE-2.0 .
-->
<Locale versionDTD="2.0.3" allowUpdateFromCLDR="yes" version="1.2">
  <LC_INFO>
    <Language>
      <LangID>et</LangID>
      <DefaultName>Estonian</DefaultName>
    </Language>
    <Country>
      <CountryID>EE</CountryID>
      <DefaultName>Estonia</DefaultName>
    </Country>
  </LC_INFO>
  <LC_CTYPE>
    <Separators>
      <DateSeparator>.</DateSeparator>
      <ThousandSeparator> </ThousandSeparator>
      <DecimalSeparator>,</DecimalSeparator>
      <TimeSeparator>:</TimeSeparator>
      <Time100SecSeparator>,</Time100SecSeparator>
      <ListSeparator>;</ListSeparator>
      <LongDateDayOfWeekSeparator>, </LongDateDayOfWeekSeparator>
      <LongDateDaySeparator>. </LongDateDaySeparator>
      <LongDateMonthSeparator> </LongDateMonthSeparator>
      <LongDateYearSeparator> </LongDateYearSeparator>
    </Separators>
    <Markers>
      <QuotationStart>’</QuotationStart>
      <QuotationEnd>’</QuotationEnd>
      <DoubleQuotationStart>„</DoubleQuotationStart>
      <DoubleQuotationEnd>”</DoubleQuotationEnd>
    </Markers>
    <TimeAM>e.l</TimeAM>
    <TimePM>p.l</TimePM>
    <MeasurementSystem>metric</MeasurementSystem>
  </LC_CTYPE>
  <LC_FORMAT>
    <DateAcceptancePattern>D.M</DateAcceptancePattern>
    <DateAcceptancePattern>D. M</DateAcceptancePattern>
    <DateAcceptancePattern>D.M.</DateAcceptancePattern>
    <DateAcceptancePattern>D. M.</DateAcceptancePattern>
    <FormatElement msgid="FixedFormatskey1" default="true" type="medium" usage="FIXED_NUMBER" formatindex="0">
      <FormatCode>General</FormatCode>
    </FormatElement>
    <FormatElement msgid="FixedFormatskey2" default="true" type="short" usage="FIXED_NUMBER" formatindex="1">
      <FormatCode>0</FormatCode>
    </FormatElement>
    <FormatElement msgid="FixedFormatskey3" default="false" type="medium" usage="FIXED_NUMBER" formatindex="2">
      <FormatCode>0,00</FormatCode>
    </FormatElement>
    <FormatElement msgid="FixedFormatskey4" default="false" type="short" usage="FIXED_NUMBER" formatindex="3">
      <FormatCode># ##0</FormatCode>
    </FormatElement>
    <FormatElement msgid="FixedFormatskey5" default="false" type="medium" usage="FIXED_NUMBER" formatindex="4">
      <FormatCode># ##0,00</FormatCode>
    </FormatElement>
    <FormatElement msgid="FixedFormatskey6" default="false" type="medium" usage="FIXED_NUMBER" formatindex="5">
      <FormatCode># ###,00</FormatCode>
    </FormatElement>
    <FormatElement msgid="FixedFormatskey9" default="false" type="medium" usage="FIXED_NUMBER" formatindex="101">
      <FormatCode>[NatNum12 cardinal]0</FormatCode>
    </FormatElement>
    <FormatElement msgid="FixedFormatskey10" default="false" type="medium" usage="FIXED_NUMBER" formatindex="102">
      <FormatCode>[NatNum12 capitalize cardinal]0</FormatCode>
    </FormatElement>
    <FormatElement msgid="FixedFormatskey12" default="false" type="medium" usage="FIXED_NUMBER" formatindex="104">
      <FormatCode>[NatNum12 upper cardinal]0</FormatCode>
    </FormatElement>
    <FormatElement msgid="ScientificFormatskey1" default="false" type="medium" usage="SCIENTIFIC_NUMBER" formatindex="6">
      <FormatCode>0,00E+000</FormatCode>
    </FormatElement>
    <FormatElement msgid="ScientificFormatskey2" default="true" type="medium" usage="SCIENTIFIC_NUMBER" formatindex="7">
      <FormatCode>0,00E+00</FormatCode>
    </FormatElement>
    <FormatElement msgid="ScientificFormatskey3" default="false" type="medium" usage="SCIENTIFIC_NUMBER" formatindex="78">
      <FormatCode>##0,00E+00</FormatCode>
    </FormatElement>
    <FormatElement msgid="PercentFormatskey1" default="true" type="short" usage="PERCENT_NUMBER" formatindex="8">
      <FormatCode>0%</FormatCode>
    </FormatElement>
    <FormatElement msgid="PercentFormatskey2" default="true" type="long" usage="PERCENT_NUMBER" formatindex="9">
      <FormatCode>0,00%</FormatCode>
    </FormatElement>
    <FormatElement msgid="CurrencyFormatskey1" default="true" type="short" usage="CURRENCY" formatindex="12">
      <FormatCode># ##0 [$kr-425];-# ##0 [$kr-425]</FormatCode>
    </FormatElement>
    <FormatElement msgid="CurrencyFormatskey2" default="false" type="medium" usage="CURRENCY" formatindex="13">
      <FormatCode># ##0,00 [$kr-425];-# ##0,00 [$kr-425]</FormatCode>
    </FormatElement>
    <FormatElement msgid="CurrencyFormatskey3" default="false" type="medium" usage="CURRENCY" formatindex="14">
      <FormatCode># ##0 [$kr-425];[RED]-# ##0 [$kr-425]</FormatCode>
    </FormatElement>
    <FormatElement msgid="CurrencyFormatskey4" default="true" type="medium" usage="CURRENCY" formatindex="15">
      <FormatCode># ##0,00 [$kr-425];[RED]-# ##0,00 [$kr-425]</FormatCode>
    </FormatElement>
    <FormatElement msgid="CurrencyFormatskey5" default="false" type="medium" usage="CURRENCY" formatindex="16">
      <FormatCode># ##0,00 CCC</FormatCode>
    </FormatElement>
    <FormatElement msgid="CurrencyFormatskey6" default="false" type="medium" usage="CURRENCY" formatindex="17">
      <FormatCode># ##0,-- [$kr-425];[RED]-# ##0,-- [$kr-425]</FormatCode>
    </FormatElement>
    <FormatElement msgid="CurrencyFormatskey9" default="false" type="medium" usage="CURRENCY" formatindex="105">
      <FormatCode>[NatNum12 CURRENCY]0</FormatCode>
    </FormatElement>
    <FormatElement msgid="CurrencyFormatskey10" default="false" type="medium" usage="CURRENCY" formatindex="106">
      <FormatCode>[NatNum12 CURRENCY]0,00</FormatCode>
    </FormatElement>
    <FormatElement msgid="CurrencyFormatskey11" default="false" type="medium" usage="CURRENCY" formatindex="107">
      <FormatCode>[NatNum12 upper CURRENCY]0</FormatCode>
    </FormatElement>
    <FormatElement msgid="CurrencyFormatskey12" default="false" type="medium" usage="CURRENCY" formatindex="108">
      <FormatCode>[NatNum12 upper CURRENCY]0,00</FormatCode>
    </FormatElement>
    <FormatElement msgid="DateFormatskey1" default="true" type="short" usage="DATE" formatindex="18">
      <FormatCode>DD.MM.YY</FormatCode>
    </FormatElement>
    <FormatElement msgid="DateFormatskey15" default="true" type="long" usage="DATE" formatindex="19">
      <FormatCode>NNNND. MMMM YYYY". a"</FormatCode>
    </FormatElement>
    <FormatElement msgid="DateFormatskey22" default="false" type="short" usage="DATE" formatindex="20">
      <FormatCode>D.M.YYYY</FormatCode>
    </FormatElement>
    <FormatElement msgid="DateFormatskey7" default="true" type="medium" usage="DATE" formatindex="21">
      <FormatCode>DD.MM.YYYY</FormatCode>
    </FormatElement>
    <FormatElement msgid="DateFormatskey10" default="false" type="short" usage="DATE" formatindex="22">
      <FormatCode>D. MMMMM YYYY</FormatCode>
    </FormatElement>
    <FormatElement msgid="DateFormatskey16" default="false" type="long" usage="DATE" formatindex="23">
      <FormatCode>D. MMM YYYY". a"</FormatCode>
    </FormatElement>
    <FormatElement msgid="DateFormatskey11" default="false" type="medium" usage="DATE" formatindex="24">
      <FormatCode>D. MMM YYYY</FormatCode>
    </FormatElement>
    <FormatElement msgid="DateFormatskey17" default="false" type="long" usage="DATE" formatindex="25">
      <FormatCode>D. MMMM YYYY". a"</FormatCode>
    </FormatElement>
    <FormatElement msgid="DateFormatskey12" default="false" type="long" usage="DATE" formatindex="26">
      <FormatCode>D. MMMM YYYY</FormatCode>
    </FormatElement>
    <FormatElement msgid="DateFormatskey23" default="false" type="medium" usage="DATE" formatindex="27">
      <FormatCode>NN, D. MMMMM YYYY</FormatCode>
    </FormatElement>
    <FormatElement msgid="DateFormatskey13" default="false" type="medium" usage="DATE" formatindex="28">
      <FormatCode>NN, D. MMM YYYY</FormatCode>
    </FormatElement>
    <FormatElement msgid="DateFormatskey2" default="false" type="long" usage="DATE" formatindex="29">
      <FormatCode>NN, D. MMMM YYYY". a"</FormatCode>
    </FormatElement>
    <FormatElement msgid="DateFormatskey9" default="false" type="long" usage="DATE" formatindex="30">
      <FormatCode>NNNNDD. MMMM YYYY". a"</FormatCode>
    </FormatElement>
    <FormatElement msgid="DateFormatskey18" default="false" type="short" usage="DATE" formatindex="31">
      <FormatCode>MM-DD</FormatCode>
    </FormatElement>
    <FormatElement msgid="DateFormatskey19" default="false" type="short" usage="DATE" formatindex="32">
      <FormatCode>YY-MM-DD</FormatCode>
    </FormatElement>
    <FormatElement msgid="DateFormatskey20" default="false" type="medium" usage="DATE" formatindex="33">
      <FormatCode>YYYY-MM-DD</FormatCode>
      <DefaultName>ISO 8601</DefaultName>
    </FormatElement>
    <FormatElement msgid="DateFormatskey24" default="false" type="short" usage="DATE" formatindex="34">
      <FormatCode>MMMMM YYYY</FormatCode>
    </FormatElement>
    <FormatElement msgid="DateFormatskey4" default="false" type="short" usage="DATE" formatindex="35">
      <FormatCode>D. MMM</FormatCode>
    </FormatElement>
    <FormatElement msgid="DateFormatskey5" default="false" type="medium" usage="DATE" formatindex="36">
      <FormatCode>MMMM</FormatCode>
    </FormatElement>
    <FormatElement msgid="DateFormatskey6" default="false" type="medium" usage="DATE" formatindex="37">
      <FormatCode>QQ YYYY</FormatCode>
    </FormatElement>
    <FormatElement msgid="DateFormatskey21" default="false" type="short" usage="DATE" formatindex="38">
      <FormatCode>WW</FormatCode>
    </FormatElement>
    <FormatElement msgid="DateFormatskey25" default="false" type="medium" usage="DATE" formatindex="66">
      <FormatCode>WW". nädal"</FormatCode>
    </FormatElement>
    <FormatElement msgid="DateFormatskey26" default="false" type="long" usage="DATE" formatindex="67">
      <FormatCode>WW". nädal "YYYY</FormatCode>
    </FormatElement>
    <FormatElement msgid="DateFormatskey14" default="false" type="long" usage="DATE" formatindex="68">
      <FormatCode>NN, D. MMMM YYYY</FormatCode>
    </FormatElement>
    <FormatElement msgid="DateFormatskey27" default="false" type="short" usage="DATE" formatindex="69">
      <FormatCode>D.MM.YYYY</FormatCode>
    </FormatElement>
    <FormatElement msgid="DateFormatskey8" default="false" type="short" usage="DATE" formatindex="70">
      <FormatCode>D.M.YY</FormatCode>
    </FormatElement>
    <FormatElement msgid="DateFormatskey28" default="false" type="medium" usage="DATE" formatindex="71">
      <FormatCode>D. MMMM</FormatCode>
    </FormatElement>
    <FormatElement msgid="DateFormatskey29" default="false" type="short" usage="DATE" formatindex="72">
      <FormatCode>DD.MM</FormatCode>
    </FormatElement>
    <FormatElement msgid="DateFormatskey30" default="false" type="short" usage="DATE" formatindex="73">
      <FormatCode>D.MM</FormatCode>
    </FormatElement>
    <FormatElement msgid="DateFormatskey31" default="false" type="medium" usage="DATE" formatindex="74">
      <FormatCode>MMMM YYYY</FormatCode>
    </FormatElement>
    <FormatElement msgid="DateFormatskey3" default="false" type="short" usage="DATE" formatindex="75">
      <FormatCode>MMM YYYY</FormatCode>
    </FormatElement>
    <FormatElement msgid="DateFormatskey32" default="false" type="short" usage="DATE" formatindex="76">
      <FormatCode>YYYY Q</FormatCode>
    </FormatElement>
    <FormatElement msgid="DateFormatskey33" default="false" type="short" usage="DATE" formatindex="77">
      <FormatCode>Q YY</FormatCode>
    </FormatElement>
    <FormatElement msgid="TimeFormatskey1" default="true" type="short" usage="TIME" formatindex="39">
      <FormatCode>HH:MM</FormatCode>
    </FormatElement>
    <FormatElement msgid="TimeFormatskey2" default="true" type="medium" usage="TIME" formatindex="40">
      <FormatCode>HH:MM:SS</FormatCode>
    </FormatElement>
    <FormatElement msgid="TimeFormatskey3" default="false" type="short" usage="TIME" formatindex="41">
      <FormatCode>HH:MM AM/PM</FormatCode>
    </FormatElement>
    <FormatElement msgid="TimeFormatskey4" default="false" type="medium" usage="TIME" formatindex="42">
      <FormatCode>HH:MM:SS AM/PM</FormatCode>
    </FormatElement>
    <FormatElement msgid="TimeFormatskey5" default="false" type="medium" usage="TIME" formatindex="43">
      <FormatCode>[HH]:MM:SS</FormatCode>
    </FormatElement>
    <FormatElement msgid="TimeFormatskey6" default="false" type="short" usage="TIME" formatindex="44">
      <FormatCode>MM:SS,00</FormatCode>
    </FormatElement>
    <FormatElement msgid="TimeFormatskey7" default="false" type="medium" usage="TIME" formatindex="45">
      <FormatCode>[HH]:MM:SS,00</FormatCode>
    </FormatElement>
    <FormatElement msgid="DateTimeFormatskey1" default="true" type="medium" usage="DATE_TIME" formatindex="46">
      <FormatCode>HH:MM DD.MM.YY</FormatCode>
    </FormatElement>
    <FormatElement msgid="DateTimeFormatskey2" default="false" type="medium" usage="DATE_TIME" formatindex="47">
      <FormatCode>DD.MM.YYYY HH:MM:SS</FormatCode>
    </FormatElement>
    <FormatElement msgid="DateTimeFormatskey3" default="false" type="medium" usage="DATE_TIME" formatindex="50">
      <FormatCode>DD.MM.YYYY HH:MM</FormatCode>
    </FormatElement>
  </LC_FORMAT>
  <LC_COLLATION>
    <Collator default="true" unoid="alphanumeric">&[before 1]T<š<<<Š<z<<<Z<ž<<<Ž&v<<<V<w<<<W&[before 1]X<õ<<<Õ<ä<<<Ä<ö<<<Ö<ü<<<Ü</Collator>
    <CollationOptions>
      <TransliterationModules>IGNORE_CASE</TransliterationModules>
    </CollationOptions>
  </LC_COLLATION>
  <LC_SEARCH ref="en_US"/>
  <LC_INDEX>
    <IndexKey phonetic="false" default="true" unoid="alphanumeric">A-S Š Z Ž T U V W Õ Ä Ö Ü X Y</IndexKey>
    <UnicodeScript>0</UnicodeScript>
    <UnicodeScript>1</UnicodeScript>
    <UnicodeScript>2</UnicodeScript>
    <FollowPageWord> jj</FollowPageWord>
    <FollowPageWord> jj</FollowPageWord>
  </LC_INDEX>
  <LC_CALENDAR>
    <Calendar unoid="gregorian" default="true">
      <DaysOfWeek>
        <Day>
          <DayID>sun</DayID>
          <DefaultAbbrvName>P</DefaultAbbrvName>
          <DefaultFullName>pühapäev</DefaultFullName>
        </Day>
        <Day>
          <DayID>mon</DayID>
          <DefaultAbbrvName>E</DefaultAbbrvName>
          <DefaultFullName>esmaspäev</DefaultFullName>
        </Day>
        <Day>
          <DayID>tue</DayID>
          <DefaultAbbrvName>T</DefaultAbbrvName>
          <DefaultFullName>teisipäev</DefaultFullName>
        </Day>
        <Day>
          <DayID>wed</DayID>
          <DefaultAbbrvName>K</DefaultAbbrvName>
          <DefaultFullName>kolmapäev</DefaultFullName>
        </Day>
        <Day>
          <DayID>thu</DayID>
          <DefaultAbbrvName>N</DefaultAbbrvName>
          <DefaultFullName>neljapäev</DefaultFullName>
        </Day>
        <Day>
          <DayID>fri</DayID>
          <DefaultAbbrvName>R</DefaultAbbrvName>
          <DefaultFullName>reede</DefaultFullName>
        </Day>
        <Day>
          <DayID>sat</DayID>
          <DefaultAbbrvName>L</DefaultAbbrvName>
          <DefaultFullName>laupäev</DefaultFullName>
        </Day>
      </DaysOfWeek>
      <MonthsOfYear>
        <Month>
          <MonthID>jan</MonthID>
          <DefaultAbbrvName>jaan</DefaultAbbrvName>
          <DefaultFullName>jaanuar</DefaultFullName>
          <DefaultNarrowName>I</DefaultNarrowName>
        </Month>
        <Month>
          <MonthID>feb</MonthID>
          <DefaultAbbrvName>veebr</DefaultAbbrvName>
          <DefaultFullName>veebruar</DefaultFullName>
          <DefaultNarrowName>II</DefaultNarrowName>
        </Month>
        <Month>
          <MonthID>mar</MonthID>
          <DefaultAbbrvName>märts</DefaultAbbrvName>
          <DefaultFullName>märts</DefaultFullName>
          <DefaultNarrowName>III</DefaultNarrowName>
        </Month>
        <Month>
          <MonthID>apr</MonthID>
          <DefaultAbbrvName>apr</DefaultAbbrvName>
          <DefaultFullName>aprill</DefaultFullName>
          <DefaultNarrowName>IV</DefaultNarrowName>
        </Month>
        <Month>
          <MonthID>may</MonthID>
          <DefaultAbbrvName>mai</DefaultAbbrvName>
          <DefaultFullName>mai</DefaultFullName>
          <DefaultNarrowName>V</DefaultNarrowName>
        </Month>
        <Month>
          <MonthID>jun</MonthID>
          <DefaultAbbrvName>juuni</DefaultAbbrvName>
          <DefaultFullName>juuni</DefaultFullName>
          <DefaultNarrowName>VI</DefaultNarrowName>
        </Month>
        <Month>
          <MonthID>jul</MonthID>
          <DefaultAbbrvName>juuli</DefaultAbbrvName>
          <DefaultFullName>juuli</DefaultFullName>
          <DefaultNarrowName>VII</DefaultNarrowName>
        </Month>
        <Month>
          <MonthID>aug</MonthID>
          <DefaultAbbrvName>aug</DefaultAbbrvName>
          <DefaultFullName>august</DefaultFullName>
          <DefaultNarrowName>VIII</DefaultNarrowName>
        </Month>
        <Month>
          <MonthID>sep</MonthID>
          <DefaultAbbrvName>sept</DefaultAbbrvName>
          <DefaultFullName>september</DefaultFullName>
          <DefaultNarrowName>IX</DefaultNarrowName>
        </Month>
        <Month>
          <MonthID>oct</MonthID>
          <DefaultAbbrvName>okt</DefaultAbbrvName>
          <DefaultFullName>oktoober</DefaultFullName>
          <DefaultNarrowName>X</DefaultNarrowName>
        </Month>
        <Month>
          <MonthID>nov</MonthID>
          <DefaultAbbrvName>nov</DefaultAbbrvName>
          <DefaultFullName>november</DefaultFullName>
          <DefaultNarrowName>XI</DefaultNarrowName>
        </Month>
        <Month>
          <MonthID>dec</MonthID>
          <DefaultAbbrvName>dets</DefaultAbbrvName>
          <DefaultFullName>detsember</DefaultFullName>
          <DefaultNarrowName>XII</DefaultNarrowName>
        </Month>
      </MonthsOfYear>
      <Eras>
        <Era>
          <EraID>bc</EraID>
          <DefaultAbbrvName>e.m.a</DefaultAbbrvName>
          <DefaultFullName>enne meie ajaarvamist</DefaultFullName>
        </Era>
        <Era>
          <EraID>ad</EraID>
          <DefaultAbbrvName>m.a.j</DefaultAbbrvName>
          <DefaultFullName>meie ajaarvamise järgi</DefaultFullName>
        </Era>
      </Eras>
      <StartDayOfWeek>
        <DayID>mon</DayID>
      </StartDayOfWeek>
      <MinimalDaysInFirstWeek>4</MinimalDaysInFirstWeek>
    </Calendar>
  </LC_CALENDAR>
  <LC_CURRENCY>
    <Currency default="true" usedInCompatibleFormatCodes="false">
      <CurrencyID>EUR</CurrencyID>
      <CurrencySymbol>€</CurrencySymbol>
      <BankSymbol>EUR</BankSymbol>
      <CurrencyName>Euro</CurrencyName>
      <DecimalPlaces>2</DecimalPlaces>
    </Currency>
    <Currency default="false" usedInCompatibleFormatCodes="true">
      <CurrencyID>EEK</CurrencyID>
      <CurrencySymbol>kr</CurrencySymbol>
      <BankSymbol>EEK</BankSymbol>
      <CurrencyName>kroon</CurrencyName>
      <DecimalPlaces>2</DecimalPlaces>
    </Currency>
  </LC_CURRENCY>
  <LC_TRANSLITERATION ref="en_US"/>
  <LC_MISC>
    <ReservedWords>
      <trueWord>tõene</trueWord>
      <falseWord>väär</falseWord>
      <quarter1Word>1. kvartal</quarter1Word>
      <quarter2Word>2. kvartal</quarter2Word>
      <quarter3Word>3. kvartal</quarter3Word>
      <quarter4Word>4. kvartal</quarter4Word>
      <aboveWord>ülal</aboveWord>
      <belowWord>allpool</belowWord>
      <quarter1Abbreviation>K1</quarter1Abbreviation>
      <quarter2Abbreviation>K2</quarter2Abbreviation>
      <quarter3Abbreviation>K3</quarter3Abbreviation>
      <quarter4Abbreviation>K4</quarter4Abbreviation>
    </ReservedWords>
  </LC_MISC>
  <LC_NumberingLevel ref="en_US"/>
  <LC_OutLineNumberingLevel ref="en_US"/>
</Locale>

Messung V0.5 in Prozent
C=100 H=100 G=100

¤ Dauer der Verarbeitung: 0.15 Sekunden  (vorverarbeitet am  2026-10-05) ¤

*© Formatika GbR, Deutschland




Wurzel

Suchen

PVS Prover

Isabelle Prover

NIST Cobol Testsuite

Cephes Mathematical Library

Vienna Development Method

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.





                                                                                                                                                                                                                                                                                                                                                                                                     

Neuigkeiten

     Aktuelles
     Motto des Tages

letze Version des Elbe Quellennavigators

Jenseits des Üblichen ....
    

Besucher

Besucher
Statistik
#Sources=1126864
#Domains=1897691