lib/Tools/doc
2013-06-25 wenzelm 2013-06-25 slightly improved "isabelle doc" based on Isabelle/Scala; updated documentation of "isabelle display";
2013-06-23 wenzelm 2013-06-23 Scala version of "isabelle doc"; discontinued slightly odd / unused ">>" comments within Contents (see also b077b79061b6);
2009-08-22 wenzelm 2009-08-22 function splitarray: splightly more abstract version that accomodates older bashes;
2009-08-04 wenzelm 2009-08-04 change IFS only locally -- thanks to bash arrays;
2008-12-20 wenzelm 2008-12-20 removed Ids;
2008-10-21 wenzelm 2008-10-21 tuned usage line;
2008-10-04 wenzelm 2008-10-04 replaced ISATOOL by ISABELLE_TOOL;
2005-04-13 wenzelm 2005-04-13 *** MESSAGE REFERS TO PREVIOUS VERSION *** ISABELLE_DOC_FORMAT;
2005-04-13 wenzelm 2005-04-13 *** empty log message ***
2004-06-21 kleing 2004-06-21 Merged in license change from Isabelle2004
2000-11-30 wenzelm 2000-11-30 /usr/bin/env bash;
2000-11-22 wenzelm 2000-11-22 tuned;
2000-09-01 wenzelm 2000-09-01 GPLed; more robust handling of spaces in args / file names;
2000-01-17 wenzelm 2000-01-17 Contents: suppress comments;
1997-05-12 wenzelm 1997-05-12 fixed ISABELLE_DOCS multiple components;
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;