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.
*** empty log message ***
authorwenzelm
Fri, 07 Mar 1997 13:21:15 +0100
changeset 2756 643cba384a61
parent 2755 9a7128d9722e
child 2757 3090e4a1a317
*** empty log message ***
NEWS file | annotate | diff | comparison | revisions 
--- a/NEWS	Fri Mar 07 11:49:04 1997 +0100
+++ b/NEWS	Fri Mar 07 13:21:15 1997 +0100
@@ -6,7 +6,8 @@
 --------------------------------
 
 * added token_translation interface (may translate name tokens in
-arbitrary ways, dependent on their type (free, bound, tfree, ...));
+arbitrary ways, dependent on their type (free, bound, tfree, ...) and
+the current print_mode);
 
 * token translations for modes "xterm" and "xterm_color" that display
 names in bold, underline etc. or colors;
isabelle