excursion: commit_exit internally -- checkpoints are fully persistent now;
excursion: do not force intermediate result states yet -- great performance improvement;
#!/usr/bin/env bash
#
# Author: Makarius
#
# DESCRIPTION: simple XML to YXML converter
PRG="$(basename "$0")"
function usage()
{
echo
echo "Usage: isabelle $PRG"
echo
echo " Convert XML (stdin) to YXML (stdout)."
echo
exit 1
}
function fail()
{
echo "$1" >&2
exit 2
}
## process command line
[ "$#" -ne 0 ] && usage
## main
exec perl -w "$ISABELLE_HOME/lib/scripts/yxml.pl"