Start tkeclipse Open inspector Select->Current Goal gives an error popup
This archive was generated by hypermail 2.1.8 : Wed 16 Nov 2005 06:08:07 PM GMT GMT