2005-09-21 wenzelm [Wed, 21 Sep 2005 20:16:34 +0200] rev 17572
tuned;
ANNOUNCE Admin/make_everything CONTRIBUTORS

2005-09-21 wenzelm [Wed, 21 Sep 2005 19:16:16 +0200] rev 17571
updated for Isabelle2005;
Admin/makebin

2005-09-21 wenzelm [Wed, 21 Sep 2005 19:08:33 +0200] rev 17570
obsolete;
Admin/MIRRORS Admin/cvs-copy

2005-09-21 paulson [Wed, 21 Sep 2005 18:35:31 +0200] rev 17569
improved proof parsing
src/HOL/Tools/ATP/AtpCommunication.ML src/HOL/Tools/ATP/recon_transfer_proof.ML

2005-09-21 paulson [Wed, 21 Sep 2005 18:35:19 +0200] rev 17568
trying to limit the looping
src/HOL/Tools/ATP/watcher.ML

2005-09-21 wenzelm [Wed, 21 Sep 2005 18:06:04 +0200] rev 17567
updated for Isabelle2005;
doc-src/IsarRef/intro.tex doc-src/Locales/Locales/Locales.thy doc-src/Locales/Locales/document/Locales.tex doc-src/System/misc.tex

2005-09-21 wenzelm [Wed, 21 Sep 2005 18:04:49 +0200] rev 17566
new header syntax;
src/HOL/Import/Generate-HOL/GenHOL4Base.thy src/HOL/Import/Generate-HOL/GenHOL4Prob.thy src/HOL/Import/Generate-HOL/GenHOL4Real.thy src/HOL/Import/Generate-HOL/GenHOL4Vec.thy src/HOL/Import/Generate-HOL/GenHOL4Word32.thy src/HOL/Import/HOL/HOL4Base.thy src/HOL/Import/HOL/HOL4Prob.thy src/HOL/Import/HOL/HOL4Real.thy src/HOL/Import/HOL/HOL4Vec.thy src/HOL/Import/HOL/HOL4Word32.thy

2005-09-21 haftmann [Wed, 21 Sep 2005 17:25:32 +0200] rev 17565
introduces update_warn instead of overwrite_warn
src/HOL/Tools/recdef_package.ML

2005-09-21 haftmann [Wed, 21 Sep 2005 17:21:35 +0200] rev 17564
added AList.make, eq_fst, apr ...
NEWS

2005-09-21 haftmann [Wed, 21 Sep 2005 16:37:37 +0200] rev 17563
unify dist and main
Admin/website/TODO Admin/website/build/localconf.at.template.mak Admin/website/build/localconf.sun.template.mak Admin/website/build/project.mak Admin/website/css/aelfwine.css Admin/website/css/isabelle_base.css Admin/website/css/isabelle_print.css Admin/website/css/isabelle_screen.css Admin/website/dist/css/aelfwine.css Admin/website/dist/css/isabelle_base.css Admin/website/dist/css/isabelle_print.css Admin/website/dist/css/isabelle_screen.css Admin/website/dist/img/favicon.ico Admin/website/dist/img/isabelle_logo.gif Admin/website/dist/img/screenshot_isabelle_macos.gif Admin/website/dist/img/tutorial_cover_big.gif Admin/website/dist/img/tutorial_cover_small.gif Admin/website/dist/img/univ_cambridge.gif Admin/website/dist/img/univ_tum.gif Admin/website/dist/misc/isabelle_droplet.dmg Admin/website/documentation.html Admin/website/faq.html Admin/website/img/c_isabelle_lemmas.gif Admin/website/img/favicon.ico Admin/website/img/isabelle_logo.gif Admin/website/img/isabelle_pg_screenshot_big.png Admin/website/img/isabelle_pg_screenshot_small.png Admin/website/img/screenshot_isabelle_macos.gif Admin/website/img/screenshot_isabelle_pg.png Admin/website/img/tutorial_cover_big.gif Admin/website/img/tutorial_cover_small.gif Admin/website/img/univ_cambridge.gif Admin/website/img/univ_tum.gif Admin/website/include/header.include.html Admin/website/include/htmlheader.include.html Admin/website/index.html Admin/website/installation_macos_emacs.html Admin/website/installation_notes_cygwin.html Admin/website/logics.html Admin/website/misc/isabelle_droplet.dmg Admin/website/overview.html