isabelle: Changelog

wenzelm [Tue, 11 Jan 2011 19:55:34 +0100] rev 41511

isabelle version -i;

haftmann [Tue, 11 Jan 2011 18:23:29 +0100] rev 41510

NEWS

bulwahn [Tue, 11 Jan 2011 17:59:35 +0100] rev 41509

NEWS

krauss [Tue, 11 Jan 2011 17:38:03 +0100] rev 41508

eliminated duplication

wenzelm [Tue, 11 Jan 2011 17:00:21 +0100] rev 41507

merged

haftmann [Tue, 11 Jan 2011 14:14:13 +0100] rev 41506

tuned text

haftmann [Tue, 11 Jan 2011 14:12:37 +0100] rev 41505

"enriched_type" replaces less specific "type_lifting"

wenzelm [Tue, 11 Jan 2011 16:23:28 +0100] rev 41504

clarified notion Position.is_reported; ML warning/error: retain non-reported clear-text position, notably when evaluating external ML files;

wenzelm [Mon, 10 Jan 2011 22:03:24 +0100] rev 41503

refined report_parse_tree: reverse reports happen to produce proper type information for inlined @{term}, @{typ} etc.; tuned offset_position_of;

wenzelm [Mon, 10 Jan 2011 21:45:44 +0100] rev 41502

refined ML_Lex.flatten: ensure proper separation of tokens;

isabelle