2005-09-21 haftmann [Wed, 21 Sep 2005 10:39:38 +0200] rev 17542
(name mess cleanup)
src/Pure/General/pretty.ML

2005-09-21 haftmann [Wed, 21 Sep 2005 10:33:59 +0200] rev 17541
introduced AList module
src/HOL/Tools/sat_solver.ML

2005-09-21 haftmann [Wed, 21 Sep 2005 10:32:24 +0200] rev 17540
removed assoc, overwrite
src/Pure/library.ML

2005-09-21 haftmann [Wed, 21 Sep 2005 10:32:06 +0200] rev 17539
added update_warn
src/Pure/General/output.ML

2005-09-21 wenzelm [Wed, 21 Sep 2005 00:07:32 +0200] rev 17538
tuned;
NEWS

2005-09-20 wenzelm [Tue, 20 Sep 2005 23:36:57 +0200] rev 17537
fixed proof script of lemma merges_same_conv (Why did it stop working?);
src/HOL/MicroJava/BV/Kildall.thy

2005-09-20 wenzelm [Tue, 20 Sep 2005 22:07:36 +0200] rev 17536
updated;
doc-src/AxClass/Group/document/isabelle.sty doc-src/AxClass/Group/document/isabellesym.sty doc-src/IsarOverview/Isar/document/isabelle.sty doc-src/IsarOverview/Isar/document/isabellesym.sty doc-src/IsarOverview/Isar/document/pdfsetup.sty doc-src/LaTeXsugar/Sugar/document/isabelle.sty doc-src/LaTeXsugar/Sugar/document/isabellesym.sty doc-src/LaTeXsugar/Sugar/document/pdfsetup.sty doc-src/Locales/Locales/document/isabelle.sty doc-src/Locales/Locales/document/isabellesym.sty doc-src/Locales/Locales/document/pdfsetup.sty doc-src/TutorialI/isabelle.sty doc-src/TutorialI/isabellesym.sty doc-src/ZF/isabelle.sty doc-src/ZF/isabellesym.sty

2005-09-20 wenzelm [Tue, 20 Sep 2005 22:02:06 +0200] rev 17535
tuned;
NEWS

2005-09-20 wenzelm [Tue, 20 Sep 2005 21:51:06 +0200] rev 17534
HOL/ex/Chinese.thy;
CONTRIBUTORS

2005-09-20 wenzelm [Tue, 20 Sep 2005 21:48:47 +0200] rev 17533
tuned;
NEWS