isabelle: Changelog

wenzelm [Tue, 24 Mar 2009 21:24:53 +0100] rev 30711

display derivation status of thms;

wenzelm [Tue, 24 Mar 2009 19:37:50 +0100] rev 30710

recover old ids;

wenzelm [Tue, 24 Mar 2009 18:21:58 +0100] rev 30709

report ML typing;

wenzelm [Tue, 24 Mar 2009 16:11:42 +0100] rev 30708

merged

nipkow [Tue, 24 Mar 2009 14:09:24 +0100] rev 30707

merged

nipkow [Tue, 24 Mar 2009 14:08:13 +0100] rev 30706

NEWS: [arith]

wenzelm [Tue, 24 Mar 2009 16:11:09 +0100] rev 30705

get_index: produce index of next pending token, not the last one;

wenzelm [Tue, 24 Mar 2009 15:47:55 +0100] rev 30704

register token positions persistently with context; report some aspects of parse trees; removed obsolete CPPrintInAlphabeticalOrder; tuned;

wenzelm [Tue, 24 Mar 2009 15:43:37 +0100] rev 30703

tuned;

wenzelm [Tue, 24 Mar 2009 15:43:13 +0100] rev 30702

more markup elements for ML programs;

isabelle