Mon, 07 Aug 2000 14:34:26 +0200 | kleing | MicroJava structure changed | changeset | files |
Mon, 07 Aug 2000 14:34:03 +0200 | kleing | Invoke instruction gets fully qualified method name (class+name+sig) as | changeset | files |
Mon, 07 Aug 2000 14:32:56 +0200 | kleing | BV and LBV specified in terms of app and step functions | changeset | files |