Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei:
Makefile
Sprache: Unknown
|
pre:
test ! -f ../theories/test.vo
post:
test -f ../theories/test.vo
touch done
[ Dauer der Verarbeitung: 0.11 Sekunden
(vorverarbeitet)
]
|
|
