--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Tools/8bit/xmosaic/isa_xmosaic	Tue Jun 25 17:44:43 1996 +0200
@@ -0,0 +1,29 @@
+#!/bin/bash
+################################################
+# Title:      Tools/8bit/xmosaic/isa_xmosaic
+# ID:         $Id$
+# Author:     Franz Regensburger
+# Copyright   1995 TU Muenchen
+#
+# open xmosaic with isabelle font
+#
+# Franz Regensburger <regensbu@informatik.tu-muenchen.de> 20.12.95
+# 
+###############################################
+#
+# The script is configured by the master makefile ../Makefile.
+# Edit this file to make changes!
+#
+
+###############################################
+# do not edit below
+###############################################
+
+ISAXMOSAICDIR=$ISABELLE8BIT/xmosaic
+
+# start xmosaic ; 
+
+xmosaic  -title "isa_xmosaic"  -xrm "\
+Mosaic*font:isacr14" -xrm "\
+Mosaic*fixedFont:isacr14" -xrm "\
+Mosaic*plainFont:isacr14"