src/Tools/8bit/gnu_emacs/isa_gnu_emacs

The Hahn-Banach theorem for real vectorspaces (Isabelle/Isar)
(by Gertrud Bauer, TU Munich);

#!/bin/bash
################################################
# Title:      Tools/8bit/gnu_emacs/isa_gnu_emacs
# ID:         $Id$
# Author:     Ralf S. Engelschall
# Copyright   1995 TU Muenchen
#
#  isa_gnu_emacs -- emacs.19.27 for Isabelle environment
#  940510, Ralf S. Engelschall, <[e-mail]>
#
#  adapted for isabelle 
#  by Franz Regensburger <[e-mail]> 22.03.95
# 
###############################################
#
# The script `isa_gnu_emacs' opens the GNU Emacs 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_gnu_emacs 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=emacs

#users init file ($HOME is added). This file is loaded after
#the init file $PREFIX.emacs 
INIT=.emacs_gnu_isa

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

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

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

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

# pop up isabelle emacs
$ENAME \
    -name "$PREFIX" \
    -l $INITFILE -l "$HOME/$INIT"\
    $* 2>/dev/null