Admin/make_everything
changeset 16328 49c1f9dedc56
parent 16301 f9f2e1643593
child 17572 81fcc0029761
     1.1 --- a/Admin/make_everything	Thu Jun 09 11:04:02 2005 +0200
     1.2 +++ b/Admin/make_everything	Thu Jun 09 11:04:54 2005 +0200
     1.3 @@ -3,13 +3,13 @@
     1.4  # $Id$
     1.5  #
     1.6  # make_everything -- an adhoc script that demonstrates the general procedure
     1.7 -#   of creating the Isabelle distribution and WWW page
     1.8 +#   of creating the Isabelle distribution and WWW site
     1.9  #
    1.10  # assumptions:
    1.11  #   - proper settings for polyml are present by magic
    1.12  #     (e.g. via ~/isabelle/etc/settings)
    1.13  #   - ~/tmp/isadist/contrib holds packages of external tools (polyml etc.)
    1.14 -#
    1.15 +
    1.16  
    1.17  date
    1.18