Gedichte
Musik
Bilder
Quellcode-Bibliothek
Diashow
Normaldarstellung
products
/
sources
/
formale Sprachen
/
Coq
/
tools
/
coqdoc
/
Quellcode-Bibliothek
©
Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei: equation.xpm Sprache: Unknown
Untersuchungsergebnis.nix Download desPVS {PVS[42] C[48] Abap[214]}zum Wurzelverzeichnis wechseln
{}:
rec {
make =
"make IGNORECOQVERSION=true"
;
clean =
"${make} clean"
;
}
[ zur Elbe Produktseite wechseln0.53Quellennavigators
]