tkeclipse

From: Joachim Schimpf <j.schimpf_at_icparc.ic.ac.uk>
Date: Fri 01 Jun 2001 01:00:39 PM GMT
Message-ID: <3B1791F7.5BC8714A@icparc.ic.ac.uk>
Start tkeclipse
Open inspector
Select->Current Goal

gives an error popup
Received on Fri Jun 01 14:00:39 2001

This archive was generated by hypermail 2.1.8 : Wed 16 Nov 2005 06:08:07 PM GMT GMT