2001-10-16 wenzelm 2001-10-16 be more careful about token class markers;
2000-09-07 wenzelm 2000-09-07 internalize error "insufficient syntax for prefix application";
2000-03-15 wenzelm 2000-03-15 use Pretty.str / Pretty.raw_str;
1999-06-04 wenzelm 1999-06-04 print "..." variable;
1999-03-09 wenzelm 1999-03-09 token translation: real;
1999-02-12 wenzelm 1999-02-12 tuned pretty format lookup;
1999-02-11 wenzelm 1999-02-11 proper handling of print_mode wrt. Pretty.sym;
1999-01-29 oheimb 1999-01-29 moved print_mode to ROOT.ML
1998-10-20 wenzelm 1998-10-20 no open; handle multiple trfuns;
1998-03-09 wenzelm 1998-03-09 Symbol.output;
1997-12-28 wenzelm 1997-12-28 renamed Symtab.null to Symtab.empty;
1997-11-05 wenzelm 1997-11-05 print translation: added show_sorts argument;
1997-10-09 wenzelm 1997-10-09 changed preference order of prtab entries;
1997-10-06 wenzelm 1997-10-06 added sort_to_ast; eliminated raise_ast;
1997-04-04 wenzelm 1997-04-04 fixed diagnostic output of print modes;
1997-03-31 wenzelm 1997-03-31 simple_ast_of: fixed handling of loose Bounds;
1997-02-28 wenzelm 1997-02-28 split ast_of_term(T); ast_of_term now marks frees; added token translation support;
1997-01-13 wenzelm 1997-01-13 improved error msg;
1996-12-13 wenzelm 1996-12-13 removed chartrans_of; added typed print translations; error msg for _appl(C) loop;
1996-12-10 wenzelm 1996-12-10 added chartrans_of;
1996-11-26 paulson 1996-11-26 Eta-expansion of a function definition, for value polymorphism
1996-11-19 wenzelm 1996-11-19 removed old commented out text;
1996-11-18 wenzelm 1996-11-18 added print_mode: string list ref (order of printer tables); multiple disjoint printer tables, to be combined hierarchically; multiple entries in printer tables (matched in order);
1996-02-16 paulson 1996-02-16 Elimination of fully-functorial style. Type tactic changed to a type abbrevation (from a datatype). Constructor tactic and function apply deleted.
1995-05-03 lcp 1995-05-03 Now show_sorts:=true causes printing of types
1995-03-03 clasohm 1995-03-03 added CPure (curried functions) and ProtoPure (ancestor of Pure and CPure)
1994-09-26 wenzelm 1994-09-26 added flag show_no_free_types: bool ref;
1994-08-19 wenzelm 1994-08-19 various minor internal changes;
1994-08-03 nipkow 1994-08-03 improved show_brackets again - Trueprop does not create () any more.
1994-08-02 nipkow 1994-08-02 minimized () in forced printing of barckets (show_brackets)
1994-08-02 nipkow 1994-08-02 added flag show_brackets for printinmg fully bracketed terms.
1994-05-19 wenzelm 1994-05-19 replaced fix_aprop by prop_tr'; various minor internal changes;
1994-02-03 wenzelm 1994-02-03 minor internal changes;
1994-01-19 wenzelm 1994-01-19 MAJOR INTERNAL CHANGE: extend and merge operations of syntax tables now much leaner (eliminated gramgraph, all data except tables of old parser are shared); simplified the internal interfaces for syntax extension;
1993-10-21 lcp 1993-10-21 Pure/Syntax/printer/is_prop: now calls fastype_of1
1993-10-11 wenzelm 1993-10-11 *** empty log message ***
1993-10-08 wenzelm 1993-10-08 *** empty log message ***
1993-10-04 wenzelm 1993-10-04 lots of internal cleaning and tuning; removed {parse,print}_{pre,post}_proc; new lexer: now human readable due to scanner combinators; new parser installed, but still inactive (due to grammar ambiguities); added Syntax.test_read; typ_of_term: sorts now made distinct and sorted; mixfix: added forced line breaks (//); PROP now printed before subterm of type prop with non-const head;
1993-09-16 clasohm 1993-09-16 Initial revision