| Fri, 06 Dec 2013 22:10:45 +0100 | wenzelm | clarified "isabelle display" and 'display_drafts': re-use file and program instance, open asynchronously via desktop environment; | file | diff | annotate |
| Sun, 25 Nov 2012 15:17:01 +0100 | wenzelm | eval PDF_VIEWER/DVI_VIEWER command line, which allows additional quotes for program name, for example; | file | diff | annotate |