2006-12-20 paulson [Wed, 20 Dec 2006 17:03:46 +0100] rev 21888
change from "Array" to "Vector"
src/HOL/Tools/ATP/AtpCommunication.ML src/HOL/Tools/ATP/watcher.ML src/HOL/Tools/res_atp.ML

2006-12-19 huffman [Tue, 19 Dec 2006 19:34:35 +0100] rev 21887
add lemmas Standard_starfun(2)_iff
src/HOL/Hyperreal/StarDef.thy

2006-12-19 aspinall [Tue, 19 Dec 2006 17:35:33 +0100] rev 21886
Missing elements from doc_markup_elements
src/Pure/ProofGeneral/pgip_markup.ML

2006-12-19 aspinall [Tue, 19 Dec 2006 16:58:30 +0100] rev 21885
Remove obsolete prefixes from error and warning messages.
src/Pure/ProofGeneral/proof_general_pgip.ML

2006-12-18 haftmann [Mon, 18 Dec 2006 08:57:41 +0100] rev 21884
added isatool codegen
lib/Tools/codegen

2006-12-18 haftmann [Mon, 18 Dec 2006 08:21:40 +0100] rev 21883
dropped CodegenPackage.const_of_idf
src/Pure/Tools/nbe_codegen.ML

2006-12-18 haftmann [Mon, 18 Dec 2006 08:21:39 +0100] rev 21882
improvements in syntax handling
src/Pure/Tools/codegen_serializer.ML

2006-12-18 haftmann [Mon, 18 Dec 2006 08:21:38 +0100] rev 21881
added Thyname.* and * constant expressions
src/Pure/Tools/codegen_package.ML

2006-12-18 haftmann [Mon, 18 Dec 2006 08:21:37 +0100] rev 21880
introduces "__" naming policy
src/Pure/Tools/codegen_names.ML

2006-12-18 haftmann [Mon, 18 Dec 2006 08:21:35 +0100] rev 21879
switched argument order in *.syntax lifters
NEWS src/HOL/Nominal/nominal_induct.ML src/HOL/Tools/function_package/auto_term.ML src/HOL/Tools/inductive_package.ML src/HOL/Tools/old_inductive_package.ML src/HOL/arith_data.ML src/HOL/ex/Reflection.thy src/Provers/eqsubst.ML src/Provers/induct_method.ML src/Provers/splitter.ML src/Pure/Isar/args.ML src/Pure/Isar/attrib.ML src/Pure/Isar/isar_output.ML src/Pure/Isar/method.ML src/Pure/Isar/rule_insts.ML src/ZF/Tools/ind_cases.ML