changeset 26434 | d004b791218e |
parent 26422 | d5883907c514 |
child 26445 | 17223cf843d8 |
--- a/NEWS Thu Mar 27 14:41:21 2008 +0100 +++ b/NEWS Thu Mar 27 15:32:12 2008 +0100 @@ -31,6 +31,8 @@ * Eliminated theory ProtoPure. Potential INCOMPATIBILITY. +* Command 'setup': discontinued implicit version. + * Instantiation target allows for simultaneous specification of class instance operations together with an instantiation proof. Type-checking phase allows to refer to class operations uniformly.