|
#!/bin/sh
$coqc misc/exitstatus/illtyped.v
P=$?
printf "On ill-typed input, coqc returned %s.\n" "$P"
if [ $P = 1 ]; then exit 0; else exit 1; fi
¤ Dauer der Verarbeitung: 0.20 Sekunden
(vorverarbeitet)
¤
|
schauen Sie vor die Tür
Fenster
Die Firma ist wie angegeben erreichbar.
Die farbliche Syntaxdarstellung ist noch experimentell.
|
