Dummy change to document the change in revision 1.5:
Parent theory changed to HOLCF.thy (former Tr2.thy) .
Was necessary because the use of HOLCF_ss in Hoare.ML,
which has been extended by the introduction of the
Lift theories.
#!/bin/bash -norc
#
# $Id$
#
# Emacs / Isamode interface.
#
# TODO: isabelle fonts
## diagnostics
function fail()
{
echo "$1" >&2
exit 2
}
## main
exec emacs -name "isabelle" -l "$ISAMODE_HOME/elisp/isa-site.el" -l "$HOME/.emacs" -l "$ISAMODE_HOME/elisp/isa-start.el"