updated for polyml-5.4.0;
discontinued old-fashioned POLY_HOME via path;
more robust handling of polyml-version, preferably provided by Poly/ML distribution itself;
#!/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 "$ISABELLE_HOME/lib/scripts/yxml"