lib/Tools/doc
1997-04-22 wenzelm 1997-04-22 removed -norc;
1997-04-12 wenzelm 1997-04-12 tuned comments;
1997-04-11 wenzelm 1997-04-11 fixed { ... } shell syntax to accomodate bash 2.x;
1997-04-04 wenzelm 1997-04-04 tuned xdvi invocation;
1996-12-09 wenzelm 1996-12-09 doc: view Isabelle documentation;