isabelle: Changelog

blanchet [Mon, 28 Mar 2016 12:05:47 +0200] rev 62720

generalized ML interface

blanchet [Mon, 28 Mar 2016 12:05:47 +0200] rev 62719

tuning

blanchet [Mon, 28 Mar 2016 12:05:47 +0200] rev 62718

refined experimental option of Sledgehammer

wenzelm [Sat, 26 Mar 2016 18:51:58 +0100] rev 62717

tuned;

wenzelm [Sat, 26 Mar 2016 16:14:46 +0100] rev 62716

explicit print_depth for the sake of Spec_Check.determine_type;

wenzelm [Sat, 26 Mar 2016 14:27:58 +0100] rev 62715

obsolete -- done in Isabelle_Process.init_options;

wenzelm [Sat, 26 Mar 2016 14:14:23 +0100] rev 62714

clarified use of options;

wenzelm [Sat, 26 Mar 2016 13:41:14 +0100] rev 62713

tuned signature;

wenzelm [Sat, 26 Mar 2016 12:35:11 +0100] rev 62712

clarified use of options;

wenzelm [Sat, 26 Mar 2016 12:22:15 +0100] rev 62711

avoid hardwired values;

isabelle