lib/Tools/display
2013-12-06 wenzelm 2013-12-06 clarified "isabelle display" and 'display_drafts': re-use file and program instance, open asynchronously via desktop environment;
2012-11-25 wenzelm 2012-11-25 eval PDF_VIEWER/DVI_VIEWER command line, which allows additional quotes for program name, for example;
2012-05-20 wenzelm 2012-05-20 try to avoid races again (cf. 8c37cb84065f and fd3a36e48b09);
2011-09-19 wenzelm 2011-09-19 instantaneous cleanup (NB: VIEWER should be synchronous, cf. dd25b3055c4e);
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)