diff --git a/download_past.html b/download_past.html --- a/download_past.html +++ b/download_past.html @@ -1,133 +1,137 @@ Older Isabelle Releases


Website archive

The full distribution websites of some recent Isabelle releases are available from the Munich archive:

Source archive

Many past releases of Isabelle are available from the Cambridge archive (sources and documentation only):

diff --git a/index.html b/index.html --- a/index.html +++ b/index.html @@ -1,163 +1,163 @@ Isabelle