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.
about.html -> logics.html
authorkleing
Wed, 12 Jul 2000 14:47:55 +0200
changeset 9287 c406d0af9368
parent 9286 4ccadbdbbd24
child 9288 06a55195741b
about.html -> logics.html
Admin/makepage file | annotate | diff | comparison | revisions 
--- a/Admin/makepage	Wed Jul 12 14:47:34 2000 +0200
+++ b/Admin/makepage	Wed Jul 12 14:47:55 2000 +0200
@@ -5,7 +5,7 @@
 # makemainpage -- make main Isabelle web pages
 
 TARGET=/usr/proj/isabelle-repository/www
-FILES="index.html docs.html about.html cambridge.gif munich.gif"
+FILES="index.html docs.html logics.html cambridge.gif munich.gif"
 PREFIX=main
 
 PRG=$(basename $0)
isabelle