2010-08-11 wenzelm [Wed, 11 Aug 2010 18:03:02 +0200] rev 38335
misc tuning and simplification;
src/Pure/Tools/find_consts.ML src/Pure/Tools/find_theorems.ML

2010-08-11 wenzelm [Wed, 11 Aug 2010 17:50:29 +0200] rev 38334
simplified/unified command setup;
src/Pure/Tools/find_consts.ML src/Pure/Tools/find_theorems.ML

2010-08-11 wenzelm [Wed, 11 Aug 2010 17:37:04 +0200] rev 38333
removed obsolete Proof.get_thmss_cmd (cf. Attrib.eval_thms);
src/Pure/Isar/proof.ML

2010-08-11 wenzelm [Wed, 11 Aug 2010 17:31:56 +0200] rev 38332
prefer plain Attrib.eval_thmss -- also means the assert_forward of Proof.get_thmss_cmd is skipped, leading to uniform (albeit odd) behaviour concerning forward chaining;
tuned;
src/Pure/Isar/calculation.ML

2010-08-11 wenzelm [Wed, 11 Aug 2010 17:29:54 +0200] rev 38331
prefer plain Attrib.eval_thms with plain Proof.context instead of Proof.state;
src/Pure/Isar/isar_cmd.ML

2010-08-11 wenzelm [Wed, 11 Aug 2010 17:24:57 +0200] rev 38330
tuned eval_thms (cf. note etc. in proof.ML);
src/Pure/Isar/attrib.ML

2010-08-11 wenzelm [Wed, 11 Aug 2010 15:17:13 +0200] rev 38329
use Pretty.enum convenience;
src/HOL/Tools/inductive_codegen.ML src/Pure/Isar/attrib.ML src/Pure/codegen.ML

2010-08-11 wenzelm [Wed, 11 Aug 2010 15:00:31 +0200] rev 38328
tuned whitespace;
src/Pure/Isar/proof_context.ML src/Pure/Syntax/ast.ML

2010-08-11 wenzelm [Wed, 11 Aug 2010 13:39:36 +0200] rev 38327
more precise and more maintainable dependencies;
src/Pure/IsaMakefile src/Pure/ML-Systems/install_pp_polyml-5.3.ML src/Pure/ML-Systems/install_pp_polyml.ML src/Pure/ML/install_pp_polyml-5.3.ML src/Pure/ML/install_pp_polyml.ML src/Pure/pure_setup.ML

2010-08-11 wenzelm [Wed, 11 Aug 2010 12:50:33 +0200] rev 38326
merged, resolving conflict in src/Pure/IsaMakefile concerning General/xml_data.ML;
src/Pure/IsaMakefile src/Pure/ROOT.ML