isabelle: Changelog

Mercurial Mercurial > repos > isabelle / changelog

Thu, 12 Mar 2009 21:42:02 +0100 added legacy type inference (from fixrec_package.ML);

changeset

wenzelm [Thu, 12 Mar 2009 21:42:02 +0100] rev 30483

added legacy type inference (from fixrec_package.ML);

Thu, 12 Mar 2009 21:37:18 +0100 simplified versions check_spec, read_spec, check_free_spec, read_free_spec: operate on list of singleton statements;

changeset

wenzelm [Thu, 12 Mar 2009 21:37:18 +0100] rev 30482

simplified versions check_spec, read_spec, check_free_spec, read_free_spec: operate on list of singleton statements; simplified check_specification, read_specification: operate on a single list of simultaneous statements; tuned;

Thu, 12 Mar 2009 21:33:06 +0100 removed old named_spec, spec_name, spec_opt_name;

changeset

wenzelm [Thu, 12 Mar 2009 21:33:06 +0100] rev 30481

removed old named_spec, spec_name, spec_opt_name; clarified spec vs. specs; added alt_specs, where_alt_specs -- try to be robust against malformed input;

Thu, 12 Mar 2009 21:29:04 +0100 keep dead code fresh;

changeset

wenzelm [Thu, 12 Mar 2009 21:29:04 +0100] rev 30480

keep dead code fresh;

Thu, 12 Mar 2009 16:13:14 +0100 tuned;

changeset

wenzelm [Thu, 12 Mar 2009 16:13:14 +0100] rev 30479

tuned;

Thu, 12 Mar 2009 15:56:32 +0100 merged

changeset

wenzelm [Thu, 12 Mar 2009 15:56:32 +0100] rev 30478

merged