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;
authorwenzelm
Tue, 14 Oct 1997 17:36:45 +0200
changeset 3868 86981c4bffdb
parent 3867 3b2587c809f4
child 3869 79b54692d806
tuned;
src/Pure/Thy/browser_info.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Thy/browser_info.ML	Tue Oct 14 17:36:22 1997 +0200
+++ b/src/Pure/Thy/browser_info.ML	Tue Oct 14 17:36:45 1997 +0200
@@ -564,9 +564,9 @@
           else space_implode "/" (take (level, subdirs))))) ^
        "\n" ^
        (if file_exists (tack_on (!index_path) "README.html") then
-          "<BR>View the <A HREF = \"README.html\">ReadMe</A> file.\n"
+          "<BR>View the <A HREF = \"README.html\">README</A> file.\n"
         else if file_exists (tack_on (!index_path) "README") then
-          "<BR>View the <A HREF = \"README\">ReadMe</A> file.\n"
+          "<BR>View the <A HREF = \"README\">README</A> file.\n"
         else "") ^
        "<HR>" ^ implode (map main_entry theories) ^ "<!-->");
      TextIO.closeOut out;
isabelle