lib/Tools/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)