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.
build bed
authorhaftmann
Tue, 27 Sep 2005 17:09:46 +0200
changeset 17680 5f6a9ed548c1
parent 17679 c5f49e4856e3
child 17681 442e7bec1d49
build bed
Admin/website/TODO file | annotate | diff | comparison | revisions 
--- a/Admin/website/TODO	Tue Sep 27 17:03:54 2005 +0200
+++ b/Admin/website/TODO	Tue Sep 27 17:09:46 2005 +0200
@@ -1,5 +1,5 @@
 For the release:
-- make build bed (~/isabelle/website_build)
+- make build bed ()
 - abandon old scripts: mirror-*, rsyncisabelle
 - abandon old cache
 - cleanup old dist
isabelle