src/Tools/8bit/gnu_emacs/isa_gnu_emacs

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Tools/8bit/gnu_emacs/isa_gnu_emacs	Tue Jun 25 17:44:43 1996 +0200
@@ -0,0 +1,57 @@
+#!/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
+
+
+
+