1997-02-21 wenzelm [Fri, 21 Feb 1997 15:14:16 +0100] rev 2669
don't hack, use xfed or xfedor;
lib/fonts/bdf-code.txt

1997-02-21 wenzelm [Fri, 21 Feb 1997 11:18:33 +0100] rev 2668
fixed Id comment;
Admin/makedist

1997-02-20 wenzelm [Thu, 20 Feb 1997 17:02:42 +0100] rev 2667
makedist -- make Isabelle distribution.
Admin/makedist

1997-02-20 wenzelm [Thu, 20 Feb 1997 16:45:47 +0100] rev 2666
tuned URL;
src/HOL/AxClasses/README.html

1997-02-20 wenzelm [Thu, 20 Feb 1997 16:09:41 +0100] rev 2665
added index info;
doc-src/Logics/logics.ind doc-src/Ref/ref.ind

1997-02-20 wenzelm [Thu, 20 Feb 1997 15:53:08 +0100] rev 2664
index info;
doc-src/Intro/intro.ind

1997-02-20 wenzelm [Thu, 20 Feb 1997 15:52:53 +0100] rev 2663
added dist;
doc-src/Intro/Makefile

1997-02-20 wenzelm [Thu, 20 Feb 1997 15:28:18 +0100] rev 2662
some administrative tools for the Isabelle;
Admin/README

1997-02-20 wenzelm [Thu, 20 Feb 1997 15:26:38 +0100] rev 2661
made a bit more robust for 'make dist';
doc-src/Logics/Makefile doc-src/Logics/logics.tex

1997-02-20 wenzelm [Thu, 20 Feb 1997 15:24:03 +0100] rev 2660
rail output;
doc-src/Logics/logics.rao