isabelle: Changelog

wenzelm [Fri, 15 Aug 2008 15:50:58 +0200] rev 27886

renamed T.source_of' to T.source_position_of; tuned signature;

wenzelm [Fri, 15 Aug 2008 15:50:52 +0200] rev 27885

renamed T.source_of' to T.source_position_of;

wenzelm [Fri, 15 Aug 2008 15:50:50 +0200] rev 27884

output_markup: check Markup.is_none;

wenzelm [Fri, 15 Aug 2008 15:50:49 +0200] rev 27883

added is_none; added inner_comment;

wenzelm [Fri, 15 Aug 2008 15:50:44 +0200] rev 27882

Args.name_source(_position) for proper position information;

wenzelm [Thu, 14 Aug 2008 21:06:07 +0200] rev 27881

[source=false] for quoted antiquotation avoids quote-escapes in output;

wenzelm [Thu, 14 Aug 2008 20:29:38 +0200] rev 27880

report antiquotations;

wenzelm [Thu, 14 Aug 2008 20:29:37 +0200] rev 27879

tuned;

wenzelm [Thu, 14 Aug 2008 20:13:43 +0200] rev 27878

report ML_source;

wenzelm [Thu, 14 Aug 2008 20:13:42 +0200] rev 27877

renamed P.ml_source to P.ML_source;

isabelle