2000-09-27 paulson [Wed, 27 Sep 2000 11:20:30 +0200] rev 10092
exchanged the declaration of "seealso" and loading of "makeidx" because the
latter redeclares this macro
doc-src/iman.sty

2000-09-26 wenzelm [Tue, 26 Sep 2000 18:27:50 +0200] rev 10091
tuned;
Admin/page/Makefile

2000-09-26 wenzelm [Tue, 26 Sep 2000 18:24:01 +0200] rev 10090
FAKE_BUILD="";
Admin/makebin

2000-09-26 wenzelm [Tue, 26 Sep 2000 18:23:29 +0200] rev 10089
updated;
doc-src/TutorialI/isabelle.sty

2000-09-26 wenzelm [Tue, 26 Sep 2000 18:15:21 +0200] rev 10088
updated;
doc-src/AxClass/generated/isabelle.sty

2000-09-26 wenzelm [Tue, 26 Sep 2000 18:09:38 +0200] rev 10087
tuned;
Admin/makebin Admin/makedist

2000-09-26 wenzelm [Tue, 26 Sep 2000 17:34:33 +0200] rev 10086
replaced by document (cannot maintain both);
src/HOL/MicroJava/README.html

2000-09-26 wenzelm [Tue, 26 Sep 2000 17:07:28 +0200] rev 10085
simplified;
got rid of rpm;
Admin/page/common/functions.pl Admin/page/dist-content/packages.content

2000-09-26 wenzelm [Tue, 26 Sep 2000 17:06:16 +0200] rev 10084
weblint;
Admin/page/Makefile

2000-09-26 wenzelm [Tue, 26 Sep 2000 17:05:20 +0200] rev 10083
got rid of RPM;
Admin/makerpm