| Mon, 13 Nov 2006 18:19:24 +0100 | wenzelm | fixed comment -- oops; | file | diff | annotate |
| Mon, 18 Sep 2006 19:12:42 +0200 | wenzelm | PRIVATE_FILE: slightly more robust way to create and dispose; | file | diff | annotate |
| Wed, 13 Apr 2005 18:48:19 +0200 | wenzelm | *** MESSAGE REFERS TO PREVIOUS VERSION *** | file | diff | annotate |
| Wed, 13 Apr 2005 18:34:22 +0200 | wenzelm | *** empty log message *** | file | diff | annotate |
| Fri, 01 Oct 2004 11:54:15 +0200 | paulson | patch to "display" | file | diff | annotate |
| Thu, 30 Sep 2004 07:14:34 +0200 | kleing | display pdf as well as dvi | file | diff | annotate |
| Tue, 29 Jun 2004 11:18:34 +0200 | kleing | license change to BSD | file | diff | annotate |
| Tue, 22 Jun 2004 09:52:15 +0200 | wenzelm | tuned; | file | diff | annotate |
| Tue, 15 Jun 2004 13:24:19 +0200 | wenzelm | ISABELLE_TMP | file | diff | annotate |
| Sun, 13 Jun 2004 15:28:12 +0200 | wenzelm | display document (in DVI format) | file | diff | annotate |