| 2006-11-13 | wenzelm | fixed comment -- oops; | file | diff | annotate |
| 2006-09-18 | wenzelm | PRIVATE_FILE: slightly more robust way to create and dispose; | file | diff | annotate |
| 2005-04-13 | wenzelm | *** MESSAGE REFERS TO PREVIOUS VERSION *** | file | diff | annotate |
| 2005-04-13 | wenzelm | *** empty log message *** | file | diff | annotate |
| 2004-10-01 | paulson | patch to "display" | file | diff | annotate |
| 2004-09-30 | kleing | display pdf as well as dvi | file | diff | annotate |
| 2004-06-29 | kleing | license change to BSD | file | diff | annotate |
| 2004-06-22 | wenzelm | tuned; | file | diff | annotate |
| 2004-06-15 | wenzelm | ISABELLE_TMP | file | diff | annotate |
| 2004-06-13 | wenzelm | display document (in DVI format) | file | diff | annotate |