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: Sequents.thy   Sprache: Isabelle

Untersuchungsergebnis.xpm Download desBAT {BAT[254] Abap[288] [0]}zum Wurzelverzeichnis wechseln

/* XPM */
static char * unknown_xpm[] = {
/* width height num_colors chars_per_pixel */
"20 20 2 1",
/**/
" c #BFBFBFBFBFBF",
". c black",
/**/
" ",
" ",
" ",
" ",
" ",
" ..... ",
" .. .. ",
" .. .. ",
" .. ",
" ... ",
" .. ",
" ",
" .. ",
" .. ",
" ",
" ",
" ",
" ",
" ",
" "};



[ zur Elbe Produktseite wechseln0.127Quellennavigators  ]