| 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 |
| Sun, 20 May 2012 11:34:33 +0200 | wenzelm | try to avoid races again (cf. 8c37cb84065f and fd3a36e48b09); | file | diff | annotate |