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.
www;
authorwenzelm
Mon, 17 Jan 2000 15:56:58 +0100
changeset 8134 ceedd1a8bad6
parent 8133 ba1498046ee6
child 8135 ad1c4a678196
www;
Admin/makepage file | annotate | diff | comparison | revisions 
--- a/Admin/makepage	Mon Jan 17 15:51:37 2000 +0100
+++ b/Admin/makepage	Mon Jan 17 15:56:58 2000 +0100
@@ -4,7 +4,7 @@
 #
 # makemainpage -- make main Isabelle web pages
 
-TARGET=/usr/proj/isabelle-repository/web
+TARGET=/usr/proj/isabelle-repository/www
 FILES="index.html docs.html about.html cambridge.gif munich.gif"
 PREFIX=main
isabelle