changeset 3822 | a17f9b8dca93 |
parent 3744 | 9921561ade57 |
child 3846 | 6061fa463784 |
--- a/NEWS Thu Oct 09 15:04:21 1997 +0200 +++ b/NEWS Thu Oct 09 15:06:49 1997 +0200 @@ -22,6 +22,11 @@ * deleted the obsolete tactical STATE, which was declared by fun STATE tacfun st = tacfun st st; +* no longer handles consts "" -- use syntax instead; + +* pretty printer: changed order of mixfix annotation preference +(again!); + *** Classical Reasoner ***