src/Tools/8bit/xemacs/isa_xemacs

use Args.mode;

#!/bin/bash
################################################
# Title:      Tools/8bit/xemacs/isa_xemacs
# ID:         $Id$
# Author:     Franz Regensburger
# Copyright   1995 TU Muenchen
#
# isa_xemacs -- xemacs for Isabelle environment
#
# Franz Regensburger <[e-mail]> 22.3.95
# 
###############################################
#
# The script `isa_xemacs' opens the XEmacs editor with the special
# 8bit font for Isabelle. It also provides keyboard bindings for the
# access to the graphical characters.
#
# The script is configured by the master makefile ../Makefile and
# the perl script ../bin/gen-isa_xemacs which reads the configuration file
#  ../config/key-table.inp. Edit these files to make changes!
#
####################################################
# do not configure macros below, use master Makefile
####################################################

# emacs command name. Name of your emacs executable 
ENAME=xemacs

###############################################
# do not edit below
###############################################

# prefix of init file and title of emacs window
PREFIX=isa_xemacs

# Name of the directory where this file is located
EDIR=xemacs

#  emacs init file for Isabelle
INITFILE=$ISABELLE8BIT/$EDIR/$PREFIX.emacs

# pop up isabelle emacs
$ENAME -T "$PREFIX" -fn isabelle14 -l $INITFILE $*