NEWS
changeset 2756 643cba384a61
parent 2747 9fdc1461085f
child 2773 36fdd908a26c
equal deleted inserted replaced
2755:9a7128d9722e 2756:643cba384a61
     4 
     4 
     5 New in Isabelle94-8 (April 1997)
     5 New in Isabelle94-8 (April 1997)
     6 --------------------------------
     6 --------------------------------
     7 
     7 
     8 * added token_translation interface (may translate name tokens in
     8 * added token_translation interface (may translate name tokens in
     9 arbitrary ways, dependent on their type (free, bound, tfree, ...));
     9 arbitrary ways, dependent on their type (free, bound, tfree, ...) and
       
    10 the current print_mode);
    10 
    11 
    11 * token translations for modes "xterm" and "xterm_color" that display
    12 * token translations for modes "xterm" and "xterm_color" that display
    12 names in bold, underline etc. or colors;
    13 names in bold, underline etc. or colors;
    13 
    14 
    14 * HOLCF changes: derived all rules and arities 
    15 * HOLCF changes: derived all rules and arities