xlisten
author nipkow
Tue May 09 22:10:08 1995 +0200 (1995-05-09)
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.
     1 #! /bin/sh
     2 #  xlisten -- start a program in one window and create a listener window
     3 #     environment variable $LISTEN specifies the file name
     4 
     5 #create the file!
     6 date > $LISTEN
     7 
     8 xterm -geo 80x10+0+0 -T Listener -n Listener -e tail -f $LISTEN &
     9 sleep 2
    10 xterm -geo 80x45+0-0 -e teeinput $* &