products/Sources/formale Sprachen/C/Lyx/images image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei: T.thy   Sprache: Isabelle

Untersuchungsergebnis.xpm Download desPostscript {Postscript[631] Hlasm[710] BAT[842]}zum Wurzelverzeichnis wechseln

/* XPM */
static char * fig_xpm[] = {
"20 20 4 1",
" c #000000000000",
". c #FFFFFFFFFFFF",
"X c #7B7B00000000",
"o c gray70",
" ",
" .................. ",
" .. .. ",
" .................. ",
" .. .. ",
" .................. ",
" ....XXXXXXXXXX.... ",
" ....X........X.... ",
" ....X.... ..X.... ",
" ....X... .. .X.... ",
" ....X.. oooo X.... ",
" ....X. ooooooX.... ",
" ....X oooooooX.... ",
" ....XXXXXXXXXX.... ",
" .................. ",
" .. .. ",
" .................. ",
" .. .. ",
" .................. ",
" "};



[ zur Elbe Produktseite wechseln0.71Quellennavigators  ]