Admin/makedist
1997-05-27 wenzelm 1997-05-27 fixed -P (checkout only);
1997-05-22 wenzelm 1997-05-22 fixed doc;
1997-05-21 wenzelm 1997-05-21 fixed find cmd;
1997-05-20 wenzelm 1997-05-20 README generation;
1997-05-14 wenzelm 1997-05-14 tuned comment;
1997-05-12 wenzelm 1997-05-12 improved doc stuff;
1997-05-02 wenzelm 1997-05-02 -P option (prune empty dirs);
1997-04-25 wenzelm 1997-04-25 removed -norc;
1997-04-17 wenzelm 1997-04-17 added fixencoding note;
1997-03-20 wenzelm 1997-03-20 remove empty dirs;
1997-03-17 wenzelm 1997-03-17 uncommented chown / chmod (again);
1997-03-07 wenzelm 1997-03-07 commented out chwon, chmod;
1997-02-27 wenzelm 1997-02-27 tuned comment;
1997-02-21 wenzelm 1997-02-21 fixed Id comment;
1997-02-20 wenzelm 1997-02-20 makedist -- make Isabelle distribution.