Mercurial
Mercurial
>
repos
>
isabelle
/ file revisions
summary
|
shortlog
|
changelog
|
graph
|
tags
|
bookmarks
|
branches
|
file
| revisions |
annotate
|
diff
|
comparison
|
rss
|
help
(0)
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
doc-src/pdfsetup.sty
2008-05-15
wenzelm
tuned comment;
file
|
diff
|
annotate
2008-05-15
wenzelm
updated version;
file
|
diff
|
annotate
2008-05-15
wenzelm
removed obsolete \ifpdfoutput;
file
|
diff
|
annotate
2008-05-15
wenzelm
default linkcolor=black;
file
|
diff
|
annotate
2008-05-15
wenzelm
hyperref is always enabled (also works with xdvi, dvips);
file
|
diff
|
annotate
2007-04-20
krauss
generate page labels
file
|
diff
|
annotate
2005-12-31
wenzelm
more robust phantomsection;
file
|
diff
|
annotate
2005-12-30
wenzelm
non-PDF: phantomsection;
file
|
diff
|
annotate
2005-09-29
wenzelm
pdfsetup.sty: better not rely on ifpdf.sty;
file
|
diff
|
annotate
2005-09-28
wenzelm
more reliable check for PDF output using ifpdf.sty;
file
|
diff
|
annotate
2002-01-05
wenzelm
\hfootref: use \url markup;
file
|
diff
|
annotate
2001-12-20
paulson
new hfootref macro for Web links
file
|
diff
|
annotate
2001-12-19
paulson
hyperlinks in DVI mode
file
|
diff
|
annotate
2001-09-26
wenzelm
use darkblue for all links;
file
|
diff
|
annotate
2001-07-12
paulson
removed a4paper
file
|
diff
|
annotate
2001-07-11
paulson
messages, and proper treatment of footnotes
file
|
diff
|
annotate
2000-05-20
wenzelm
\urlstyle{rm};
file
|
diff
|
annotate
1999-05-12
wenzelm
ad-hoc fix for bold indexes;
file
|
diff
|
annotate
1999-05-10
wenzelm
pdf setup;
file
|
diff
|
annotate
1999-05-06
wenzelm
pdf setup;
file
|
diff
|
annotate
1998-07-20
wenzelm
added pdfsetup and isabelle logo;
file
|
diff
|
annotate
less
more
(0)
tip