#
0b76d607 |
|
06-Dec-2013 |
wenzelm <none@none> |
clarified "isabelle display" and 'display_drafts': re-use file and program instance, open asynchronously via desktop environment;
|
#
0972901d |
|
25-Nov-2012 |
wenzelm <none@none> |
eval PDF_VIEWER/DVI_VIEWER command line, which allows additional quotes for program name, for example;
|
#
e28f5127 |
|
20-May-2012 |
wenzelm <none@none> |
try to avoid races again (cf. 8c37cb84065f and fd3a36e48b09);
|
#
b8c91967 |
|
19-Sep-2011 |
wenzelm <none@none> |
instantaneous cleanup (NB: VIEWER should be synchronous, cf. dd25b3055c4e);
|
#
a476a5a2 |
|
20-Dec-2008 |
wenzelm <none@none> |
removed Ids;
|
#
95aa5d84 |
|
21-Oct-2008 |
wenzelm <none@none> |
tuned usage line;
|
#
f5040b24 |
|
13-Nov-2006 |
wenzelm <none@none> |
fixed comment -- oops;
|
#
dfc1ceec |
|
18-Sep-2006 |
wenzelm <none@none> |
PRIVATE_FILE: slightly more robust way to create and dispose;
|
#
6b0ce97d |
|
13-Apr-2005 |
wenzelm <none@none> |
*** MESSAGE REFERS TO PREVIOUS VERSION *** ISABELLE_DOC_FORMAT; tuned;
|
#
0f8c0167 |
|
13-Apr-2005 |
wenzelm <none@none> |
*** empty log message ***
|
#
e497369a |
|
01-Oct-2004 |
paulson <none@none> |
patch to "display"
|
#
d79944a7 |
|
29-Sep-2004 |
kleing <none@none> |
display pdf as well as dvi
|
#
9fe33e98 |
|
29-Jun-2004 |
kleing <none@none> |
license change to BSD
|
#
9a9c0036 |
|
22-Jun-2004 |
wenzelm <none@none> |
tuned;
|
#
f1953b1d |
|
15-Jun-2004 |
wenzelm <none@none> |
ISABELLE_TMP
|
#
be576193 |
|
13-Jun-2004 |
wenzelm <none@none> |
display document (in DVI format)
|