| products/Sources/formale Sprachen/Coq/dev/tools/ |
|
Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei: ieee.c Sprache: C
|
Untersuchungsergebnis.xpm Download desPostscript {Postscript[144] Lex[287] BAT[313]}zum Wurzelverzeichnis wechseln /* XPM */ static char * margin_xpm[] = { "20 20 5 1", " c gray60", ". c #000000000000", "X c #BFBFBFBFBFBF", "o c #FFFFFFFFFFFF", "O c #7B7B00000000", " .................XX", " oooooooooooooooo.XX", " oooooooooooooooo.XX", " oooooooooooooooo.XX", " .......ooOOOOOoo.XX", " oooooooooooooooo.XX", " .......ooOOOOOoo.XX", " oooooooooooooooo.XX", " .......ooOOOOOoo.XX", " oooooooooooooooo.XX", " .......ooooooooo.XX", " ooooooooooo.oooo.XX", " ..oooooooo...ooo.XX", " ooooooooo.....oo.XX", " .......oooo.oooo.XX", " ooooooooooo.oooo.XX", " .......ooooooooo.XX", " oooooooooooooooo.XX", " oooooooooooooooo.XX", " XX"}; [ zur Elbe Produktseite wechseln0.73Quellennavigators ] |