src/Tools/8bit/term/initisaterm
author paulson
Sat, 30 Dec 2000 22:03:47 +0100
changeset 10751 a81ea5d3dd41
parent 6025 f0e244e2123c
permissions -rwxr-xr-x
separation of HOL-Hyperreal from HOL-Real

#!/bin/bash
# this script is called from script isaterm.

#sunbroy53:
#stty cs8

#sunbroy52:
#stty pass8

bash $*