Spracherkennung für: vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
# -*- shell-script -*- :mode=shellscript:
AFP_BASE="$COMPONENT"
AFP="$AFP_BASE/thys"
isabelle_directory '$AFP_BASE'
isabelle_directory '$AFP'
AFP_BUILD_OPTIONS='-v -o browser_info -o "document=pdf" -o "document_variants=document:outline=/proof,/ML"'
ISABELLE_TOOLS="$ISABELLE_TOOLS:$AFP_BASE/tools/lib"
if [ -f "$AFP_BASE/etc/build.props" ]; then
init_components "${ISABELLE_COMPONENTS_BASE:-$USER_HOME/.isabelle/contrib}" "$AFP_BASE/admin/components/afp"
fi
[Dauer der Verarbeitung: 0.28 Sekunden]
