removed support for set constant definitions in HOLCF {cpo,pcpo,domain}def commands;
removed '(open)', '(set_name)' and '(open set_name)' options
#!/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"