lib/Tools/doc
2005-04-13 ago *** MESSAGE REFERS TO PREVIOUS VERSION ***
2005-04-13 ago *** empty log message ***
2004-06-21 ago Merged in license change from Isabelle2004
2000-11-30 ago /usr/bin/env bash;
2000-11-22 ago tuned;
2000-09-01 ago GPLed;
2000-01-17 ago Contents: suppress comments;
1997-05-12 ago fixed ISABELLE_DOCS multiple components;
1997-04-22 ago removed -norc;
1997-04-12 ago tuned comments;
1997-04-11 ago fixed { ... } shell syntax to accomodate bash 2.x;
1997-04-04 ago tuned xdvi invocation;
1996-12-09 ago doc: view Isabelle documentation;