lib/Tools/display
2008-12-20 wenzelm 2008-12-20 removed Ids;
2008-10-21 wenzelm 2008-10-21 tuned usage line;
2006-11-13 wenzelm 2006-11-13 fixed comment -- oops;
2006-09-18 wenzelm 2006-09-18 PRIVATE_FILE: slightly more robust way to create and dispose;
2005-04-13 wenzelm 2005-04-13 *** MESSAGE REFERS TO PREVIOUS VERSION *** ISABELLE_DOC_FORMAT; tuned;
2005-04-13 wenzelm 2005-04-13 *** empty log message ***
2004-10-01 paulson 2004-10-01 patch to "display"
2004-09-30 kleing 2004-09-30 display pdf as well as dvi
2004-06-29 kleing 2004-06-29 license change to BSD
2004-06-22 wenzelm 2004-06-22 tuned;
2004-06-15 wenzelm 2004-06-15 ISABELLE_TMP
2004-06-13 wenzelm 2004-06-13 display document (in DVI format)