| 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
|
| Sat, 05 Jan 2002 01:17:14 +0100 |
wenzelm |
\hfootref: use \url markup;
|
file |
diff |
annotate
|
| Thu, 20 Dec 2001 15:20:07 +0100 |
paulson |
new hfootref macro for Web links
|
file |
diff |
annotate
|
| Wed, 19 Dec 2001 11:07:38 +0100 |
paulson |
hyperlinks in DVI mode
|
file |
diff |
annotate
|
| Wed, 26 Sep 2001 20:34:22 +0200 |
wenzelm |
use darkblue for all links;
|
file |
diff |
annotate
|
| Thu, 12 Jul 2001 17:36:14 +0200 |
paulson |
removed a4paper
|
file |
diff |
annotate
|
| Wed, 11 Jul 2001 15:21:07 +0200 |
paulson |
messages, and proper treatment of footnotes
|
file |
diff |
annotate
|
| Sun, 21 May 2000 01:16:54 +0200 |
wenzelm |
\urlstyle{rm};
|
file |
diff |
annotate
|
| Wed, 12 May 1999 17:58:03 +0200 |
wenzelm |
ad-hoc fix for bold indexes;
|
file |
diff |
annotate
|
| Mon, 10 May 1999 16:35:22 +0200 |
wenzelm |
pdf setup;
|
file |
diff |
annotate
|
| Thu, 06 May 1999 18:46:50 +0200 |
wenzelm |
pdf setup;
|
file |
diff |
annotate
|
| Mon, 20 Jul 1998 19:06:39 +0200 |
wenzelm |
added pdfsetup and isabelle logo;
|
file |
diff |
annotate
|