|
#!/usr/bin/env bash
set -e
FORMAT="$1"
VARIANT="$2"
isabelle latex -o "$FORMAT"
isabelle latex -o "$FORMAT"
¤ Dauer der Verarbeitung: 0.88 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.
|
