|
#!/usr/bin/env bash
set -e
FORMAT="$1"
VARIANT="$2"
isabelle logo
"$ISABELLE_HOME/src/Doc/prepare_document" "$FORMAT"
¤ Dauer der Verarbeitung: 0.12 Sekunden
(vorverarbeitet)
¤
|
schauen Sie vor die Tür
Fenster
Die Firma ist wie angegeben erreichbar.
Die farbliche Syntaxdarstellung ist noch experimentell.
|
