| Tue, 09 Nov 2010 11:27:58 +0100 |
wenzelm |
accomodate old manuals that include pdfsetup.sty without isabelle.sty;
|
file |
diff |
annotate
|
| Mon, 08 Nov 2010 11:28:22 +0100 |
wenzelm |
more robust treatment of suppressed quotes concerning replacement text -- for improved copy/paste behaviour;
|
file |
diff |
annotate
|
| Sun, 07 Nov 2010 22:51:16 +0100 |
wenzelm |
basic setup for literal replacement text in PDF, to support copy/paste of Isabelle symbols;
|
file |
diff |
annotate
|
| Sun, 05 Apr 2009 23:15:01 +0200 |
wenzelm |
tuned white space;
|
file |
diff |
annotate
|
| Sun, 05 Apr 2009 23:12:29 +0200 |
wenzelm |
\nolinkurl for dvi mode recovers hyphenation of URLs -- this already works by default in PDF mode;
|
file |
diff |
annotate
|
| Thu, 15 May 2008 22:10:18 +0200 |
wenzelm |
tuned comment;
|
file |
diff |
annotate
|
| Thu, 15 May 2008 22:03:32 +0200 |
wenzelm |
updated version;
|
file |
diff |
annotate
|
| Thu, 15 May 2008 20:20:30 +0200 |
wenzelm |
removed obsolete \ifpdfoutput;
|
file |
diff |
annotate
|
| Thu, 15 May 2008 18:04:02 +0200 |
wenzelm |
default linkcolor=black;
|
file |
diff |
annotate
|
| Thu, 15 May 2008 17:37:18 +0200 |
wenzelm |
hyperref is always enabled (also works with xdvi, dvips);
|
file |
diff |
annotate
|
| Fri, 20 Apr 2007 10:09:32 +0200 |
krauss |
generate page labels
|
file |
diff |
annotate
|
| Sat, 31 Dec 2005 13:03:55 +0100 |
wenzelm |
more robust phantomsection;
|
file |
diff |
annotate
|
| Fri, 30 Dec 2005 16:56:54 +0100 |
wenzelm |
non-PDF: phantomsection;
|
file |
diff |
annotate
|
| Thu, 29 Sep 2005 17:08:52 +0200 |
wenzelm |
pdfsetup.sty: better not rely on ifpdf.sty;
|
file |
diff |
annotate
|
| Wed, 28 Sep 2005 15:13:02 +0200 |
wenzelm |
more reliable check for PDF output using ifpdf.sty;
|
file |
diff |
annotate
|