Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
pdf setup;
authorwenzelm
Thu, 06 May 1999 18:46:50 +0200
changeset 6609 28726a610a17
parent 6608 927def00b1c6
child 6610 becd902a0e97
pdf setup;
doc-src/fixbookmarks.pl file | annotate | diff | comparison | revisions
doc-src/pdfsetup.sty file | annotate | diff | comparison | revisions 
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/doc-src/fixbookmarks.pl	Thu May 06 18:46:50 1999 +0200
@@ -0,0 +1,4 @@
+
+s/\\(\w+)\s*/$1/g;
+s/\$//g;
+s/^BOOKMARK/\\BOOKMARK/g;
--- a/doc-src/pdfsetup.sty	Thu May 06 15:34:36 1999 +0200
+++ b/doc-src/pdfsetup.sty	Thu May 06 18:46:50 1999 +0200
@@ -1,2 +1,2 @@
 
-%\usepackage[pdftex,a4paper,colorlinks=true]{hyperref}
+\@ifundefined{pdfoutput}{}{\usepackage[pdftex,a4paper,colorlinks=true]{hyperref}}
isabelle