Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei:
Hoare.thy
Sprache: Isabelle
Untersuchungsergebnis.hpj Download desHlasm {Hlasm[166] Fortran[490] BAT[495]}zum Wurzelverzeichnis wechseln
[OPTIONS]
TITLE = Internetredaktion für Anwender
COPYRIGHT = Context IT
CITATION = Autor erleichtert Arbeit und Werbung
COMPRESS = NO
CONTENTS = Topic7
REPORT = YES
ERRORLOG = C:\Context IT\Software\Autor\Auslieferung\helpText\autor.log
[FILES]
C:\Context IT\Software\Autor\Auslieferung\helpText\autor.rtf
[BITMAPS]
books.bmp
light.bmp
autor.bmp
[WINDOWS]
main="Welcome to Columbo",(400,100,400,800),32260,(r14680063),(r12632256)
anothwin="Welcome to helpMATIC Pro",(619,98,298,397),0,(r14204329),(r12632256),f1
newwin1="Window 1",(723,116,266,250),27648,(r8454016),(r12632256),f1
newwin2="Window 2",(480,250,242,320),0,(r16744576),(r12632256),f1
newwin3="Window 4",(733,394,275,389),1024,(r12615935),(r12632256),f1
newwin5="Window 5",(340,575,311,236),0,(r16776960),(r12632256),f1
newwin4="Window 3",(80,740,826,281),65280,(r8421440),(r12632256),f1
[CONFIG-newwin3]
CreateButton(welcome, Welcome, JumpContext(,1))
CreateButton(exitbut, Exit, Exit())
[MAP]
Topic7 7
Topic10 10
Topic14 14
[ zur Elbe Produktseite wechseln0.116Quellennavigators
]
|
|
