lib/Tools/display
Wed, 13 Apr 2005 18:48:19 +0200 wenzelm *** MESSAGE REFERS TO PREVIOUS VERSION ***
Wed, 13 Apr 2005 18:34:22 +0200 wenzelm *** empty log message ***
Fri, 01 Oct 2004 11:54:15 +0200 paulson patch to "display"
Thu, 30 Sep 2004 07:14:34 +0200 kleing display pdf as well as dvi
Tue, 29 Jun 2004 11:18:34 +0200 kleing license change to BSD
Tue, 22 Jun 2004 09:52:15 +0200 wenzelm tuned;
Tue, 15 Jun 2004 13:24:19 +0200 wenzelm ISABELLE_TMP
Sun, 13 Jun 2004 15:28:12 +0200 wenzelm display document (in DVI format)
less more (0) tip