|
#!/usr/bin/env bash
if which pdflatex; then
. ../template/init.sh
coq_makefile -f _CoqProject -o Makefile
cat Makefile.conf
make
exec make all.pdf
fi
exit 0 # test skipped
¤ Dauer der Verarbeitung: 0.11 Sekunden
(vorverarbeitet)
¤
|
Haftungshinweis
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
|
