isabelle: Changelog

wenzelm [Sat, 28 Jun 2008 21:21:18 +0200] rev 27384

tuned args parser (cf. args.ML); tuned signature;

wenzelm [Sat, 28 Jun 2008 21:21:17 +0200] rev 27383

replaced simple_text by fully-featured parse_args;

wenzelm [Sat, 28 Jun 2008 21:21:15 +0200] rev 27382

tuned nested args parser; export generic_args1;

wenzelm [Sat, 28 Jun 2008 21:21:13 +0200] rev 27381

@{lemma}: 'by' keyword;

wenzelm [Sat, 28 Jun 2008 15:30:46 +0200] rev 27380

ML: improved antiquotations;

wenzelm [Sat, 28 Jun 2008 15:17:28 +0200] rev 27379

added macro interface; added @{let}, @{note};

wenzelm [Sat, 28 Jun 2008 15:17:26 +0200] rev 27378

tuned;

wenzelm [Sat, 28 Jun 2008 15:17:24 +0200] rev 27377

added thm_name, opt_thm_name;

haftmann [Fri, 27 Jun 2008 09:55:02 +0200] rev 27376

adjusted import

haftmann [Fri, 27 Jun 2008 09:34:08 +0200] rev 27375

adjusted import

isabelle