2009-01-21 wenzelm [Wed, 21 Jan 2009 23:25:17 +0100] rev 29607
updated generated files;
etc/isar-keywords-ZF.el etc/isar-keywords.el lib/jedit/isabelle.xml

2009-01-21 wenzelm [Wed, 21 Jan 2009 23:21:44 +0100] rev 29606
removed Ids;
src/Pure/General/ROOT.ML src/Pure/General/alist.ML src/Pure/General/balanced_tree.ML src/Pure/General/basics.ML src/Pure/General/file.ML src/Pure/General/graph.ML src/Pure/General/heap.ML src/Pure/General/integer.ML src/Pure/General/ord_list.ML src/Pure/General/output.ML src/Pure/General/path.ML src/Pure/General/pretty.ML src/Pure/General/print_mode.ML src/Pure/General/properties.ML src/Pure/General/queue.ML src/Pure/General/scan.ML src/Pure/General/secure.ML src/Pure/General/seq.ML src/Pure/General/source.ML src/Pure/General/stack.ML src/Pure/General/symbol.ML src/Pure/General/symbol_pos.ML src/Pure/General/table.ML src/Pure/General/url.ML src/Pure/General/xml.ML src/Pure/General/yxml.ML src/Pure/Isar/antiquote.ML src/Pure/Isar/args.ML src/Pure/Isar/auto_bind.ML src/Pure/Isar/calculation.ML src/Pure/Isar/context_rules.ML src/Pure/Isar/local_syntax.ML src/Pure/Isar/net_rules.ML src/Pure/Isar/object_logic.ML src/Pure/Isar/outer_lex.ML src/Pure/Isar/overloading.ML src/Pure/Isar/proof_context.ML src/Pure/Isar/proof_display.ML src/Pure/Isar/proof_node.ML src/Pure/Isar/rule_insts.ML src/Pure/Isar/skip_proof.ML src/Pure/Isar/specification.ML src/Pure/ML/ml_antiquote.ML src/Pure/ML/ml_context.ML src/Pure/ML/ml_lex.ML src/Pure/ML/ml_parse.ML src/Pure/ML/ml_syntax.ML src/Pure/ML/ml_thms.ML src/Pure/Proof/proof_syntax.ML src/Pure/ProofGeneral/ROOT.ML ...

2009-01-21 wenzelm [Wed, 21 Jan 2009 22:26:49 +0100] rev 29605
eliminated obsolete var morphism;
src/Pure/assumption.ML src/Pure/morphism.ML src/Pure/variable.ML

2009-01-21 wenzelm [Wed, 21 Jan 2009 22:26:49 +0100] rev 29604
eliminated obsolete var morphism;
tuned;
src/Pure/Isar/expression.ML

2009-01-21 wenzelm [Wed, 21 Jan 2009 22:26:48 +0100] rev 29603
eliminated obsolete var morphism;
simplified map_ctxt: just one version, without var;
removed obsolete params_of, prems_of, facts_of;
removed obsolete rename operations;
tuned;
src/Pure/Isar/element.ML

2009-01-21 wenzelm [Wed, 21 Jan 2009 20:24:44 +0100] rev 29602
merged

2009-01-21 wenzelm [Wed, 21 Jan 2009 20:20:43 +0100] rev 29601
tuned whitespace;
src/Pure/Isar/spec_parse.ML

2009-01-21 wenzelm [Wed, 21 Jan 2009 20:05:31 +0100] rev 29600
merged
src/HOL/ATP_Linkup.thy src/Pure/Isar/old_locale.ML src/Pure/Tools/invoke.ML

2009-01-21 immler@in.tum.de [Wed, 21 Jan 2009 15:26:02 +0100] rev 29599
removed vampire-wrapper (remote-script covers that)
contrib/SystemOnTPTP/vampire etc/settings

2009-01-21 immler@in.tum.de [Wed, 21 Jan 2009 15:22:51 +0100] rev 29598
2 provers
src/HOL/Tools/atp_manager.ML