isabelle: Changelog

wenzelm [Sun, 22 Mar 2009 19:10:59 +0100] rev 30638

added pretty_ml;

wenzelm [Sun, 22 Mar 2009 19:10:59 +0100] rev 30637

export eval_antiquotes: refined version that operates on ML tokens;

wenzelm [Sun, 22 Mar 2009 19:10:59 +0100] rev 30636

ML_Lex.pos_of: regular position; added ML_Lex.text_of;

wenzelm [Sun, 22 Mar 2009 19:10:58 +0100] rev 30635

replaced Antiquote.is_antiq by Antiquote.is_text;

wenzelm [Sat, 21 Mar 2009 20:39:38 +0100] rev 30634

merged

wenzelm [Sat, 21 Mar 2009 20:38:49 +0100] rev 30633

extra toplevel pretty-printing for Poly/ML; experimental version for Poly/ML 5.3;

wenzelm [Sat, 21 Mar 2009 20:22:13 +0100] rev 30632

merged

huffman [Sat, 21 Mar 2009 09:42:55 -0700] rev 30631

merged

huffman [Sat, 21 Mar 2009 03:24:35 -0700] rev 30630

move field lemmas into class locale context

huffman [Sat, 21 Mar 2009 03:23:17 -0700] rev 30629

move diff_eq_0_iff_eq into class locale context

isabelle