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
.
lib/texinputs/pdfsetup.sty
2008-12-20
wenzelm
removed Ids;
file
|
diff
|
annotate
2008-05-15
wenzelm
removed unnecessary/untrusive a4paper option;
file
|
diff
|
annotate
2008-05-15
wenzelm
removed obsolete \ifpdfoutput;
file
|
diff
|
annotate
2008-05-15
wenzelm
load color/hyperref unconditionally;
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
2005-09-20
wenzelm
tuned headers;
file
|
diff
|
annotate
2005-05-24
haftmann
ML_idf antiquotation
file
|
diff
|
annotate
2004-06-21
kleing
Merged in license change from Isabelle2004
file
|
diff
|
annotate
2001-09-26
wenzelm
use darkblue for all links;
file
|
diff
|
annotate
2001-01-07
wenzelm
removed ID (avoid CVS conflicts with generated versions);
file
|
diff
|
annotate
2000-09-03
wenzelm
GPLed;
file
|
diff
|
annotate
1999-10-14
wenzelm
support thumbpdf;
file
|
diff
|
annotate
1999-10-05
wenzelm
conditional url/hyperref setup;
file
|
diff
|
annotate
less
more
(0)
tip