#!/usr/bin/env bash # # Author: Makarius # # DESCRIPTION: update theory syntax to use cartouches isabelle_admin_build jars || exit $? "$ISABELLE_TOOL" java isabelle.Update_Cartouches "$@"