lib/Tools/display
2012-11-25 wenzelm eval PDF_VIEWER/DVI_VIEWER command line, which allows additional quotes for program name, for example;
2012-05-20 wenzelm try to avoid races again (cf. 8c37cb84065f and fd3a36e48b09); Isabelle2012
2011-09-19 wenzelm instantaneous cleanup (NB: VIEWER should be synchronous, cf. dd25b3055c4e);
2008-12-20 wenzelm removed Ids;
2008-10-21 wenzelm tuned usage line;
2006-11-13 wenzelm fixed comment -- oops;
2006-09-18 wenzelm PRIVATE_FILE: slightly more robust way to create and dispose;
2005-04-13 wenzelm *** MESSAGE REFERS TO PREVIOUS VERSION ***
2005-04-13 wenzelm *** empty log message ***
2004-10-01 paulson patch to "display"
2004-09-30 kleing display pdf as well as dvi
2004-06-29 kleing license change to BSD
2004-06-22 wenzelm tuned;
2004-06-15 wenzelm ISABELLE_TMP
2004-06-13 wenzelm display document (in DVI format)
less more (0) tip