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