isabelle: Changelog

wenzelm [Wed, 17 Aug 2011 20:08:36 +0200] rev 44246

tuned signature;

haftmann [Wed, 17 Aug 2011 18:52:21 +0200] rev 44245

merged

haftmann [Wed, 17 Aug 2011 18:51:27 +0200] rev 44244

merged

haftmann [Wed, 17 Aug 2011 07:13:13 +0200] rev 44243

merged

haftmann [Tue, 16 Aug 2011 19:47:50 +0200] rev 44242

avoid Collect_def in proof

wenzelm [Wed, 17 Aug 2011 18:05:31 +0200] rev 44241

modernized signature of Term.absfree/absdummy; eliminated obsolete Term.list_abs_free;

wenzelm [Wed, 17 Aug 2011 16:46:58 +0200] rev 44240

improved default context for ML toplevel pretty-printing;

wenzelm [Wed, 17 Aug 2011 16:30:38 +0200] rev 44239

less verbosity for 'function' and 'fun': observe "int" flag more carefully (cf. a32ca9165928);

wenzelm [Wed, 17 Aug 2011 16:01:27 +0200] rev 44238

some convenience actions/shortcuts for control symbols;

wenzelm [Wed, 17 Aug 2011 15:14:48 +0200] rev 44237

export Function_Fun.fun_config for user convenience;

isabelle