products/Sources/formale Sprachen/Delphi/Agenda 1.1/Auslieferung/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei: Nested2.thy   Sprache: Unknown

Untersuchungsergebnis.DAT Download desIsabelle {Isabelle[20] HTML[101] Cobol[116]}zum Wurzelverzeichnis wechseln

<id of languages>
4
<name of language>
english
<date format>
%m the %dth %y
<syntax format s=subject, p=predicate, e=event, t=temporal, a=additional>
%t %p %s's %e %a
<NN>
%ath 
<months>
january
february
march
april
may
june
july
august
september
october
november
december
<days of week>
monday
tuesday
wednesday
thursday
friday
saturday
sunday
<name of program>
Birthday Reminder
<greeting morning>
Good Morning
<greeting evening>
Good Evening
<greeting day>
good afternoon
<date announce>
today is
<we have>
We have
<and>
and
<%p present singular>
it is
<%p present plural>
have
<%p past singular>
it was
<%p past plural>
it was
<%p futur singular>
it will be
<%p futur plural> ----
it will be
<yesterday>
yesterday
<today>
today
<tomorrow>
tomorrow
<%e future>
in %t days
<%e past>
%t days ago
<event>
event
<birthday>
birthday
<first m>
first
<second m>
second
<third m>
third
<is>
is
<first f>
first
<second f>
second
<third f>
third
<a>
a
<o'clock>
o'clock
<the>
the
<q1>
Did you notice the event?
<q2>
Really quit?
<q3>
changed
<q4>
state
<q5>
new
<q6>
change
<q7>
delete
<q8>
export
<q9>
import
<q10>
print
<q11>
quit
<q12>
options
<q13>
language
<q14>
alert time
<q15>
font
<q16>
help
<q17>
about
<q18>
desired reminder interval
<q19>
desired language
<q20>
likes
<q21>
like
<q22>
On
<q23>
OK
<q24>
find
<q25>
abort
<q26>
insert
<q27>
set speaker's voice
<q28>
no speech
<q29>
speaker
<q30>
speech synthesis
<q31>
sounds
<q32>
set font bold
<q33>
set font type
<q34>
set font size
<q35>
set font italic
<q36>
set font underlined
<q37>
change an event
<q38>
print the events
<q39>
delete an event
<q40>
create an event
<q41>
set language
<qxx>

[ zur Elbe Produktseite wechseln0.89Quellennavigators  ]