xlisten
author nipkow
Tue, 09 May 1995 22:10:08 +0200
changeset 1114 c8dfb56a7e95
parent 0 a5a9c433f639
permissions -rwxr-xr-x
Prod is now a parent of Lfp. Added thm induct2 to Lfp. Changed the way patterns in abstractions are pretty printed. It has become simpler now but fails if split has more than one argument because then the ast-translation does not match.
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
0
a5a9c433f639 Initial revision
clasohm
parents:
diff changeset
     1
#! /bin/sh
a5a9c433f639 Initial revision
clasohm
parents:
diff changeset
     2
#  xlisten -- start a program in one window and create a listener window
a5a9c433f639 Initial revision
clasohm
parents:
diff changeset
     3
#     environment variable $LISTEN specifies the file name
a5a9c433f639 Initial revision
clasohm
parents:
diff changeset
     4
a5a9c433f639 Initial revision
clasohm
parents:
diff changeset
     5
#create the file!
a5a9c433f639 Initial revision
clasohm
parents:
diff changeset
     6
date > $LISTEN
a5a9c433f639 Initial revision
clasohm
parents:
diff changeset
     7
a5a9c433f639 Initial revision
clasohm
parents:
diff changeset
     8
xterm -geo 80x10+0+0 -T Listener -n Listener -e tail -f $LISTEN &
a5a9c433f639 Initial revision
clasohm
parents:
diff changeset
     9
sleep 2
a5a9c433f639 Initial revision
clasohm
parents:
diff changeset
    10
xterm -geo 80x45+0-0 -e teeinput $* &