Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
no longer handles consts "" -- use syntax instead;
authorwenzelm
Thu, 09 Oct 1997 15:06:49 +0200
changeset 3822 a17f9b8dca93
parent 3821 151d49052228
child 3823 071c87125cea
no longer handles consts "" -- use syntax instead; pretty printer: changed order of mixfix annotation preference (again!);
NEWS file | annotate | diff | comparison | revisions 
--- 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 ***
isabelle