Mercurial Mercurial > wneuper > isa / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
src/Pure/Thy/html.ML
changeset 26109 c69c3559355b
parent 24584 01e83ffa6c54
child 26323 73efc70edeef 
     1.1 --- a/src/Pure/Thy/html.ML	Thu Feb 21 21:31:51 2008 +0100
     1.2 +++ b/src/Pure/Thy/html.ML	Thu Feb 21 21:31:52 2008 +0100
     1.3 @@ -314,7 +314,7 @@
     1.4    \<html>\n\
     1.5    \<head>\n\
     1.6    \<meta http-equiv=\"Content-Type\" content=\"text/html; charset=" ^ ! charset ^ "\">\n\
     1.7 -  \<title>" ^ plain (title ^ " (" ^ version ^ ")") ^ "</title>\n\
     1.8 +  \<title>" ^ plain (title ^ " (" ^ Distribution.version ^ ")") ^ "</title>\n\
     1.9    \<link rel=\"stylesheet\" type=\"text/css\" href=\"isabelle.css\">\n\
    1.10    \</head>\n\
    1.11    \\n\
wneuper/isa