cleaned-up Output functions;
removed unused info channel;
moved print_mode to ROOT.ML (generic non-sense);
#!/usr/bin/env bash
#
# $Id$
# Author: Makarius
#
# DESCRIPTION: Update standard keyword files.
isabelle -qe 'ProofGeneral.write_keywords "";' IOA
isabelle -qe 'ProofGeneral.write_keywords "HOL-Nominal";' HOL-Nominal
isabelle -qe 'ProofGeneral.write_keywords "ZF";' ZF