#!/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 <regensbu@informatik.tu-muenchen.de> 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 $*