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.
tuned comment;
authorwenzelm
Thu, 15 May 2008 22:10:18 +0200
changeset 26919 14b4d95d4be2
parent 26918 76046022d31f
child 26920 7f5b390a4448
tuned comment;
doc-src/pdfsetup.sty file | annotate | diff | comparison | revisions 
--- a/doc-src/pdfsetup.sty	Thu May 15 22:03:32 2008 +0200
+++ b/doc-src/pdfsetup.sty	Thu May 15 22:10:18 2008 +0200
@@ -1,6 +1,6 @@
 %% $Id$
 %%
-%% smart url or hyperref setup -- special version for Isabelle documentation
+%% hyperref setup -- special version for Isabelle documentation
 %%
 
 \message{pdfsetup.sty v0.4 2008-05-15}
isabelle