src/Tools/8bit/term/initisaterm
author oheimb
Wed, 06 Dec 2000 19:10:36 +0100
changeset 10613 78b1d6c3ee9c
parent 6025 f0e244e2123c
permissions -rwxr-xr-x
improved superclass entry for classes and definition status of is_class, class corrected recursive definitions of "method" and "fields" cleanup of many proofs, removed superfluous tactics and theorems
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
1826
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
     1
#!/bin/bash
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
     2
# this script is called from script isaterm.
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
     3
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
     4
#sunbroy53:
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
     5
#stty cs8
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
     6
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
     7
#sunbroy52:
6025
f0e244e2123c initisaterm now obsolete
oheimb
parents: 1826
diff changeset
     8
#stty pass8
1826
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
     9
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    10
bash $*
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    11