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 |
Mon, 19 Sep 2011 14:40:38 +0200 | wenzelm | instantaneous cleanup (NB: VIEWER should be synchronous, cf. dd25b3055c4e); | file | diff | annotate |
Sat, 20 Dec 2008 11:39:27 +0100 | wenzelm | removed Ids; | file | diff | annotate |
Tue, 21 Oct 2008 20:18:07 +0200 | wenzelm | tuned usage line; | file | diff | annotate |
Mon, 13 Nov 2006 18:19:24 +0100 | wenzelm | fixed comment -- oops; | file | diff | annotate |