src/Tools/xlisten
Mon, 21 Oct 1996 11:36:57 +0200 paulson Creates a bigger main window
Fri, 18 Oct 1996 11:31:33 +0200 paulson Now checks that $LISTEN is set
Thu, 16 Sep 1993 12:20:38 +0200 clasohm Initial revision
less more (0) tip