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);
Isabelle2012
|
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
|
Mon, 18 Sep 2006 19:12:42 +0200 |
wenzelm |
PRIVATE_FILE: slightly more robust way to create and dispose;
|
file |
diff |
annotate
|
Wed, 13 Apr 2005 18:48:19 +0200 |
wenzelm |
*** MESSAGE REFERS TO PREVIOUS VERSION ***
|
file |
diff |
annotate
|
Wed, 13 Apr 2005 18:34:22 +0200 |
wenzelm |
*** empty log message ***
|
file |
diff |
annotate
|
Fri, 01 Oct 2004 11:54:15 +0200 |
paulson |
patch to "display"
|
file |
diff |
annotate
|
Thu, 30 Sep 2004 07:14:34 +0200 |
kleing |
display pdf as well as dvi
|
file |
diff |
annotate
|
Tue, 29 Jun 2004 11:18:34 +0200 |
kleing |
license change to BSD
|
file |
diff |
annotate
|
Tue, 22 Jun 2004 09:52:15 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Tue, 15 Jun 2004 13:24:19 +0200 |
wenzelm |
ISABELLE_TMP
|
file |
diff |
annotate
|
Sun, 13 Jun 2004 15:28:12 +0200 |
wenzelm |
display document (in DVI format)
|
file |
diff |
annotate
|